5945 search results - page 410 / 1189 » A Model for Projection and Action |
197
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
251
click to vote
IEAAIE
2011
Springer
14 years 11 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
215
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
235
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Human activity analysis is an important problem in computer
vision with applications in surveillance and summarization
and indexing of consumer content. Complex human
activities...
211
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...