993 search results - page 97 / 199 » Set Constraints on Regular Terms |
IWCM
2004
Springer
14 years 3 months ago
2004
Springer
Standard optical flow methods for motion or disparity estimation use a brightness constancy constraint equation (BCCE). This BCCE either handles a moving camera imaging a non-movi...
GLVLSI
2003
IEEE
14 years 3 months 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...
CIKM
2008
Springer
14 years 2 days ago
2008
Springer
There is an increasing need for sharing data repositories containing personal information across multiple distributed, possibly untrusted, and private databases. Such data sharing...
IJCV
2006
13 years 10 months ago
2006
The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishing Gaussia...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...