6608 search results - page 1212 / 1322 » On the Completeness of Model Checking |
129
click to vote
CJ
2010
15 years 1 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
143
click to vote
FUIN
2010
15 years 1 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
161
click to vote
CVPR
2011
IEEE
15 years 7 days ago
2011
IEEE
In this paper, we propose a novel framework for contour based object detection. Compared to previous work, our contribution is three-fold. 1) A novel shape matching scheme suitabl...
165
click to vote
AAMAS
2011
Springer
14 years 11 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
131
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Helmholtz stereovision methods are limited to binocular stereovision or depth maps reconstruction. In this paper, we extend these methods to recover the full 3D shape of the object...