3760 search results - page 358 / 752 » Logic-Based Probabilistic Modeling |
224
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
147
click to vote
UM
2009
Springer
16 years 21 days ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
195
click to vote
CVPR
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper describes an algorithm for pose and illumination invariant face recognition from a single image under occlusions. The method iteratively estimates the parameters of a 3...
189
click to vote
ICMCS
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper, we propose a probabilistic model for web image mining, which is based on concept-sensitive salient regions without human intervene. Our goal is to achieve a middle-...
170
click to vote
ICRA
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...