801 search results - page 63 / 161 » Robust Software |
ICIP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes a fast and robust image registration method that can be used to create a panoramic image/video from video sequences. To estimate alignment parameters for imag...
ROBOCUP
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes the CMUnited-99 small-size robot team. The team builds on our previous RoboCup champion teams (’97 and ’98). The team reuses much of the hardware, percepti...
RSS
2007
13 years 11 months ago
2007
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
CSC
2006
13 years 11 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
ENTCS
2006
13 years 10 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...