4420 search results - page 318 / 884 » Evaluating a Computational Model of Emotion |
190
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
187
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
181
click to vote
AUTOMATICA
2005
15 years 7 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
315
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
Sparse representation has been applied to visual tracking by finding the best candidate with minimal reconstruction error using target templates. However most sparse representati...
191
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
Machine perception can benefit from the use of features extracted from data provided by a variety of sensor modalities. Recent advances in sensor design makes it possible to incor...