511 search results - page 84 / 103 » More Precise Partition Abstractions |
TROB
2008
13 years 8 months ago
2008
Abstract--This paper focuses on the way to achieve accurate visual servoing tasks when the shape of the object being observed as well as the desired image are unknown. More precise...
TRS
2008
13 years 8 months ago
2008
Abstract. For completely specified decision tables lower and upper approximations are unique, the lower approximation is the largest definable set contained in the approximated set...
ENTCS
2000
13 years 8 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
FOCM
2010
13 years 7 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— In this paper we address the problem of simultaneous object class and pose estimation using nothing more than object class label measurements from a generic object clas...