9067 search results - page 335 / 1814 » Adaptive Model Checking |
169
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
148
click to vote
ITS
2004
Springer
16 years 2 days ago
2004
Springer
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
168
click to vote
DRR
2008
15 years 8 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
175
click to vote
CAIP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
120
click to vote
NAACL
2007
15 years 8 months ago
2007
We describe the use of meeting metadata, acquired using a computerized meeting organization and note-taking system, to improve automatic transcription of meetings. By applying a t...