Sciweavers

127 search results - page 9 / 26
» Contour Grouping and Abstraction using Simple Part Models
Sort
View
FUIN
2010
136views more  FUIN 2010»
13 years 4 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel
ICRA
2003
IEEE
169views Robotics» more  ICRA 2003»
13 years 12 months ago
Robust model-based 3D object recognition by combining feature matching with tracking
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
Sungho Kim, In-So Kweon, Incheol Kim
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 4 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
TVCG
2010
126views more  TVCG 2010»
13 years 5 months ago
Modeling Repetitive Motions Using Structured Light
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...
Yi Xu, Daniel G. Aliaga
TMI
1998
140views more  TMI 1998»
13 years 6 months ago
Automated Seeded Lesion Segmentation on Digital Mammograms
Abstract—Segmenting lesions is a vital step in many computerized mass-detection schemes for digital (or digitized) mammograms. We have developed two novel lesion segmentation tec...
Matthew A. Kupinski, Maryellen L. Giger