4592 search results - page 320 / 919 » Framework for Studying Substitution |
181
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Several computer-based learning support systems and methods help learners to master metacognitive activity. Which systems and methods are designed to eliminate which difficulties a...
210
click to vote
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
193
click to vote
ECSQARU
2005
Springer
16 years 1 months ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
216
Voted
EPIA
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...
236
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...