331 search results - page 41 / 67 » Using Redundant Constraints for Refinement |
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
Shape-From-Silhouette (SFS), also known as Visual Hull (VH) construction, is a popular 3D reconstruction method which estimates the shape of an object from multiple silhouette ima...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
DCC
2001
IEEE
14 years 7 months ago
2001
IEEE
This paper studies quantization error in the context of Matching Pursuit coded streams and proposes a new coefficient quantization scheme taking benefit of the Matching Pursuit pr...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— We explore global randomized joint space path planning for articulated robots that are subject to task space constraints. This paper describes a representation of constrained m...
ICCL
1998
IEEE
13 years 12 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...