5084 search results - page 335 / 1017 » Proving Possibility Properties |
163
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— A catadioptric vision system combines a camera and a mirror to achieve a wide field of view imaging system. This type of vision system has many potential applications in mobil...
165
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
142
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
We propose a method for multi-view reconstruction from videos adapted to dynamic cluttered scenes under uncontrolled imaging conditions. Taking visibility into account and being ba...
152
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
177
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
Bose et al. [2] asked whether for every simple arrangement A of n lines in the plane there exists a simple n-gon P that induces A by extending every edge of P into a line. We prov...