286 search results - page 29 / 58 » Lossless Regular Views |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract − Autonomous robots need to acquire both omnidirectional view and stereo in real-time without sacrificing too much image resolution. The recent catadioptric omnidirectio...
FGR
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper addresses our proposed method to automatically locate the person's face from a given image that consists of a head-and-shoulders view of the person and a complex b...
JELIA
1990
Springer
14 years 1 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
ENTER
2006
Springer
14 years 1 months ago
2006
Springer
A cultural institution such as a museum needs to attract visitors. Due to the fact that Internet has become an important information and marketing channel, the question of using a...
LACL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...