Sciweavers

1494 search results - page 273 / 299
» Bottom-Up Shape Analysis
Sort
View
IJRR
2002
107views more  IJRR 2002»
13 years 7 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»
13 years 7 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»
13 years 7 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»
13 years 7 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
13 years 6 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...