Sciweavers

1483 search results - page 54 / 297
» Geometric constraint satisfaction using optimization methods
Sort
View
SIAMIS
2010
395views more  SIAMIS 2010»
14 years 12 months ago
A Geometric Approach to Joint 2D Region-Based Segmentation and 3D Pose Estimation Using a 3D Shape Prior
Abstract. In this work, we present an approach to jointly segment a rigid object in a two-dimensional (2D) image and estimate its three-dimensional (3D) pose, using the knowledge o...
Samuel Dambreville, Romeil Sandhu, Anthony J. Yezz...
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 8 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Publication
255views
16 years 8 months ago
3-D Shape Measurement Method with Modulated Slit Light Robust for Interreflection and Subsurface Scattering
We propose a method to accurately measure the shape of objects by suppressing the effect of indirect reflection caused by the interreflection and subsurface scattering. We use a ...
Tatsuhiko Furuse, Shinsaku Hiura, Kosuke Sato
ICDE
2006
IEEE
177views Database» more  ICDE 2006»
16 years 2 months ago
Searching Substructures with Superimposed Distance
Efficient indexing techniques have been developed for the exact and approximate substructure search in large scale graph databases. Unfortunately, the retrieval problem of structu...
Xifeng Yan, Feida Zhu, Jiawei Han, Philip S. Yu
96
Voted
ICALT
2008
IEEE
15 years 8 months ago
A Framework for Semantic Group Formation
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
Asma Ounnas, Hugh C. Davis, David E. Millard