4385 search results - page 206 / 877 » Abstraction for Concurrent Objects |
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
JMM2
2007
14 years 11 months ago
2007
Abstract— Currently, most of the automated, computervision assisted camera control policies are based on human events, such as the speaker gesture and position changes. In additi...
TMM
2002
14 years 11 months ago
2002
Abstract-- We aim for content-based image retrieval of textured objects in natural scenes under varying illumination and viewing conditions. To achieve this, image retrieval is bas...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— This paper proposes a method for learning viewpoint detection models for object categories that facilitate sequential object category recognition and viewpoint planning...
127
click to vote
PCM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a new shape descriptor for measuring the similarity between shapes and exploit it in graphical object recognition and retrieval. By statistically integrating t...