Sciweavers

1142 search results - page 120 / 229
» Approximability of Clausal Constraints
Sort
View
ECCV
2006
Springer
16 years 8 months ago
Carved Visual Hulls for Image-Based Modeling
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
Yasutaka Furukawa, Jean Ponce
ICIP
2008
IEEE
16 years 8 months ago
Sparse orthonormal transforms for image compression
We propose a block-based transform optimization and associated image compression technique that exploits regularity along directional image singularities. Unlike established work,...
Osman Gokhan Sezer, Oztan Harmanci, Onur G. Gulery...
FOCS
2008
IEEE
16 years 26 days ago
Unique Games with Entangled Provers are Easy
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
Julia Kempe, Oded Regev, Ben Toner
RTAS
2007
IEEE
16 years 21 days ago
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
Unmesh D. Bordoloi, Samarjit Chakraborty
ICRA
2000
IEEE
125views Robotics» more  ICRA 2000»
15 years 10 months ago
Force-Based Motion Editing for Locomotion Tasks
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
Nancy S. Pollard, Fareed Behmaram-Mosavat