1737 search results - page 132 / 348 » On Interpolation in Existence Logics |
174
click to vote
ARVLSI
1995
IEEE
15 years 10 months ago
1995
IEEE
Logic partitioning is an important issue in VLSI CAD, and has been an area of active research for at least the last 25 years. Numerous approaches have been developed and many diff...
159
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
170
click to vote
SWAP
2008
15 years 7 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
150
click to vote
IJCAI
2003
15 years 7 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
164
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
The invariance of the similarity measure in photometric distortions as well as its capability in producing subpixel accuracy are two desired and often required features in most st...