4117 search results - page 274 / 824 » On the Satisfiability of Complex Constraints |
160
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents the Block Processing Engine (BPE), an Application Specific Instruction-Set Processor (ASIP) explicitly designed for the implementation of multistandard wireles...
187
click to vote
ACCV
2006
Springer
16 years 23 days ago
2006
Springer
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
145
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
178
click to vote
GLVLSI
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
209
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...