Sciweavers

1224 search results - page 169 / 245
» Theory decision by decomposition
Sort
View
153
Voted
ADAPTIVE
2007
Springer
15 years 7 months ago
Collaborative Filtering Recommender Systems
One of the potent personalization technologies powering the adaptive web is collaborative filtering. Collaborative filtering (CF) is the process of filtering or evaluating items th...
J. Ben Schafer, Dan Frankowski, Jonathan L. Herloc...
79
Voted
AIED
2007
Springer
15 years 7 months ago
The Effect of Problem Templates on Learning in Intelligent Tutoring Systems
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
Moffat Mathews, Antonija Mitrovic
111
Voted
ICCS
2007
Springer
15 years 6 months ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
86
Voted
SEMWEB
2007
Springer
15 years 6 months ago
A Cognitive Support Framework for Ontology Mapping
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
Sean M. Falconer, Margaret-Anne D. Storey
STACS
2007
Springer
15 years 6 months ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung