1397 search results - page 163 / 280 » On the Need for Practical Formal Methods |
133
Voted
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A new criterion based on Gaussian fields is introduced and applied to the task of automatic rigid registration of point-sets. The method defines a simple energy function, which is...
138
click to vote
CAAN
2007
Springer
15 years 10 months ago
2007
Springer
Topological routing is basically table free, and allows for very fast restoration and thus a high level of reliability in communication. It has already been satisfactorily proposed...
143
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
- Autonomous space robots are needed for future missions such as satellite capture and large space structure construction. Precise control of these space robots is important for sp...
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Recent results on the control of linear systems subject to time-domain constraints could only handle the case of closed-loop poles that are situated on the real axis. As most c...
126
click to vote
DSVIS
2006
Springer
15 years 8 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...