3166 search results - page 286 / 634 » Translation By Structural Correspondences |
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a multiple view algorithm for vision based landing of an unmanned aerial vehicle. Our algorithm is based on our recent results in multiple view geometry which exploit t...
156
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
137
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a novel approach to representing 2-d shapes that adaptively models different portions of the shape at different resolutions, having higher resolution where it ...
191
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
205
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...