250 search results - page 14 / 50 » Reflections on Finite Model Theory |
137
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we identify the constraints under which the generally ill-posed problem of the simultaneous recovery of surface shape and its photometric invariants can be rendered ...
143
click to vote
JMLR
2008
15 years 4 months ago
2008
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
176
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
157
click to vote
DIALM
2008
ACM
15 years 5 months ago
2008
ACM
In opportunistic forwarding, a node randomly relays packets to one of its neighbors based on local information, without the knowledge of global topology. Each intermediate node co...
130
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...