Sciweavers

2907 search results - page 332 / 582
» Presentations of Structures in Admissible Sets
Sort
View
ECCV
2010
Springer
15 years 10 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
AMDO
2006
Springer
15 years 10 months ago
Acquisition of Articulated Human Body Models Using Multiple Cameras
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
Aravind Sundaresan, Rama Chellappa
ITC
2000
IEEE
84views Hardware» more  ITC 2000»
15 years 10 months ago
Non-intrusive BIST for systems-on-a-chip
1 The term "functional BIST" describes a test method to control functional modules so that they generate a deterministic test set, which targets structural faults within ...
Silvia Chiusano, Paolo Prinetto, Hans-Joachim Wund...
CVRMED
1995
Springer
15 years 10 months ago
Medical Image Segmentation Using Topologically Adaptable Snakes
This paper presents a technique for the segmentation of anatomic structures in medical images using a topologically adaptable snakes model. The model is set in the framework of dom...
Tim McInerney, Demetri Terzopoulos