1737 search results - page 110 / 348 » On Interpolation in Existence Logics |
193
click to vote
ICDE
1992
IEEE
15 years 10 months ago
1992
IEEE
Contrary to popular belief, relation schemes in good classical normal forms are not necessarily devoid of redundancies. This arises from the fact that classical data dependencies ...
155
click to vote
FTCS
1993
15 years 7 months ago
1993
We present a new test response compression method called cumulative balance testing (CBT)that extends both balance testing and accumulatorcompression testing. CBT uses an accumulat...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
128
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In many designs, the worst-case-delay path may never be exercised or may be exercised infrequently. For those designs, a strategy of optimizing a circuit for the worst-case condit...
166
click to vote
TABLEAUX
2009
Springer
16 years 26 days ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...