Sciweavers

1494 search results - page 273 / 299
» Bottom-Up Shape Analysis
Sort
View
IJRR
2002
107views more  IJRR 2002»
14 years 11 months ago
Design of a Parallel-Type Gripper Mechanism
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
Byung-Ju Yi, Heung Yeol Na, Jae Hoon Lee, Yeh-Sun ...
MVA
1998
227views Computer Vision» more  MVA 1998»
14 years 11 months ago
Automatic reconstruction of 3D human arm motion from a monocular image sequence
A model-based approach to reconstruction of 3D human arm motion from a monocular image sequence taken under orthographic projection is presented. The reconstruction is divided into...
Valentina Filova, Franc Solina, Jadran Lenarcic
TCSV
2002
124views more  TCSV 2002»
14 years 11 months ago
Fast and automatic video object segmentation and tracking for content-based applications
The new video-coding standard MPEG-4 enables content-based functionality, as well as high coding efficiency, by taking into account shape information of moving objects. A novel alg...
Changick Kim, Jenq-Neng Hwang
PVLDB
2008
121views more  PVLDB 2008»
14 years 11 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
ICFEM
2010
Springer
14 years 10 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...