Sciweavers

127 search results - page 8 / 26
» Contour Grouping and Abstraction using Simple Part Models
Sort
View
HYBRID
1998
Springer
13 years 11 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
ACCV
2009
Springer
14 years 1 months ago
A Probabilistic Model for Correspondence Problems Using Random Walks with Restart
Abstract. In this paper, we propose an efficient method for finding consistent correspondences between two sets of features. Our matching algorithm augments the discriminative pow...
Tae Hoon Kim, Kyoung Mu Lee, Sang Uk Lee
CVGIP
2006
171views more  CVGIP 2006»
13 years 6 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...
CVPR
2009
IEEE
15 years 1 months ago
HOP: Hierarchical Object Parsing
In this paper we consider the problem of object parsing, namely detecting an object and its components by composing them from image observations. Apart from object localization, ...
Iasonas Kokkinos, Alan L. Yuille
IJRR
2008
106views more  IJRR 2008»
13 years 6 months ago
Cooperative Cleaners: A Study in Ant Robotics
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
Israel A. Wagner, Yaniv Altshuler, Vladimir Yanovs...