1002 search results - page 58 / 201 » Reasoning about Object Structures Using Ownership |
PODS
1995
ACM
14 years 1 months ago
1995
ACM
During the last decade various spatial data structures have been designed and compared against each other with respect to their performance. Still missing is a lower bound result,...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The context-centered approach to object detection and recognition is based on the intuition that the contextual information of real-world scenes provides relevant information for ...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
ECOOPW
1994
Springer
14 years 2 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Deformable object tracking is used in many robotics applications including biomanipulation, vision-based force sensing, and the control of deformable structures. A tracking alg...