7213 search results - page 1054 / 1443 » Automated model grouping |
180
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
204
click to vote
IHI
2010
15 years 1 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
225
click to vote
AIED
2011
Springer
14 years 10 months ago
2011
Springer
Both human and automated tutors must infer what a student knows and plan future actions to maximize learning. Though substantial research has been done on tracking and modeling stu...
182
click to vote
IJCGT
2011
14 years 10 months ago
2011
This paper proposes an automatic model-based approach that enables adaptive decision making in modern virtual games. It builds upon the Integrated MDP and POMDP Learning AgeNT (IM...
229
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Automated facial expression recognition has received increased attention over the past two decades. Existing works in the field usually do not encode either the temporal evolutio...