1737 search results - page 48 / 348 » On Interpolation in Existence Logics |
161
click to vote
ASPDAC
2006
ACM
16 years 2 days ago
2006
ACM
This paper introduces a new current-based cell timing analyzer, called CGTA, which has a higher performance than existing logic cell timing analysis tools. CGTA relies on a compac...
151
click to vote
ENTCS
2007
15 years 6 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
173
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Reversible logic design has become one of the promising research directions in low power dissipating circuit design in the past few years and has found its application in low power...
169
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
157
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...