Sciweavers

3954 search results - page 111 / 791
» Image-based Model Completion
Sort
View
LWA
2007
15 years 6 months ago
Taking the Teacher's Perspective for User Modeling in Complex Domains
Serious games that should adapt training to the individual might benefit from methods that are developed for intelligent tutoring systems. One method, model tracing, might be used...
Christian P. Janssen, Hedderik van Rijn
105
Voted
ICASSP
2009
IEEE
15 years 11 months ago
Exploiting user feedback for language model adaptation in meeting recognition
We investigate language model (LM) adaptation in a meeting recognition application, where the LM is adapted based on recognition output from relevant prior meetings and partial ma...
Dimitra Vergyri, Andreas Stolcke, Gökhan T&uu...
DATE
2007
IEEE
97views Hardware» more  DATE 2007»
15 years 11 months ago
Estimating functional coverage in bounded model checking
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
Daniel Große, Ulrich Kühne, Rolf Drechs...
ENTCS
2006
181views more  ENTCS 2006»
15 years 5 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
CVPR
2001
IEEE
16 years 7 months ago
Tracking and Modeling Non-Rigid Objects with Rank Constraints
This paper presents a novel solution for flow-based tracking and 3D reconstruction of deforming objects in monocular image sequences. A non-rigid 3D object undergoing rotation and...
Lorenzo Torresani, Danny B. Yang, Eugene J. Alexan...