2514 search results - page 370 / 503 » The use of industrial-strength formal methods |
175
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
I n this paper, we propose the use of mirrors and a single camerafor computational stereo. Whencompared to conventional stereo systems that use two cameras, our method has a numbe...
182
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
174
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
178
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
191
click to vote
AIPR
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...