Sciweavers

1180 search results - page 119 / 236
» A generic structure-from-motion framework
Sort
View
AIED
2005
Springer
15 years 10 months ago
Tutorial Planning: Adapting Course Generation to Today's Needs
Most of today’s course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requi...
Carsten Ullrich
EPIA
2005
Springer
15 years 10 months ago
User Group Profile Modeling Based on User Transactional Data for Personalized Systems
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...
Yiling Yang, Nuno C. Marques
ECAI
2004
Springer
15 years 10 months ago
Preferences for Queries in a Mediator Approach
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
Alain Bidault, Sarah Cohen Boulakia, Christine Fro...
FSTTCS
2004
Springer
15 years 10 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
ITS
2004
Springer
105views Multimedia» more  ITS 2004»
15 years 10 months ago
EASE: Evolutional Authoring Support Environment
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
Lora Aroyo, Akiko Inaba, Larisa N. Soldatova, Riic...