Sciweavers

3482 search results - page 292 / 697
» Cooperative Assembly Systems
Sort
View
CVPR
2006
IEEE
16 years 9 months ago
Automatic Discovery of Action Taxonomies from Multiple Views
We present a new method for segmenting actions into primitives and classifying them into a hierarchy of action classes. Our scheme learns action classes in an unsupervised manner ...
Daniel Weinland, Rémi Ronfard, Edmond Boyer
ICSE
2009
IEEE-ACM
16 years 8 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
CADE
2007
Springer
16 years 7 months ago
Formal Device and Programming Model for a Serial Interface
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, ...
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
16 years 1 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
CVPR
2006
IEEE
16 years 1 months ago
Tracking of Multiple, Partially Occluded Humans based on Static Body Part Detection
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...
Bo Wu, Ram Nevatia