2526 search results - page 292 / 506 » A New Algorithm for Answer Set Computation |
160
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
144
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...
199
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes shear-image order ray casting, a new method for volume rendering. This method renders sampled data in three dimensions with image quality equivalent to the be...
158
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
139
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper a new class of invertible watermarking approach based on quantization has been introduced. Based on the necessary conditions (blindness, reversibility and impercepti...