Sciweavers

2593 search results - page 241 / 519
» constraints 2007
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Shape from Varying Illumination and Viewpoint
We address the problem of reconstructing the 3-D shape of a Lambertian surface from multiple images acquired as an object rotates under distant and possibly varying illumination. ...
Neel Joshi, David J. Kriegman
ICCV
2007
IEEE
16 years 8 months ago
Minimizing the Reprojection Error in Surface Reconstruction from Images
This paper addresses the problem of image-based surface reconstruction. The main contribution is the computation of the exact derivative of the reprojection error functional. This...
Pau Gargallo, Emmanuel Prados, Peter F. Sturm
DAC
2007
ACM
16 years 7 months ago
Period Optimization for Hard Real-time Distributed Automotive Systems
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio P...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 1 months ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...
AOSD
2007
ACM
15 years 10 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter