3954 search results - page 677 / 791 » Image-based Model Completion |
148
click to vote
AAMAS
2011
Springer
14 years 9 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...
116
click to vote
ACCV
2010
Springer
14 years 9 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...
147
click to vote
BMVC
2010
14 years 9 months ago
2010
Saliency detection is a well researched problem in computer vision. In previous work, most of the effort is spent on manually devising a saliency measure. Instead we propose a sim...
114
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
114
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...