1153 search results - page 103 / 231 » An Agent Model for a Human's Functional State and Performanc... |
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
NIPS
2007
13 years 9 months ago
2007
Reliably recovering 3D human pose from monocular video requires models that bias the estimates towards typical human poses and motions. We construct priors for people tracking usi...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper focuses on the development of EDDIE, a flexible low-cost emotion-display with 23 degrees of freedom. Actuators are assigned to particular action units of the facial...
JAIR
2008
13 years 7 months ago
2008
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agent...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...