2981 search results - page 446 / 597 » Answer Set Planning |
133
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARP...
166
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
As the speed gap between CPU and memory widens, memory hierarchy has become the primary factor limiting program performance. Until now, the principal focus of hardware and softwar...
178
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Visibility determination is a key requirement in a wide range of graphics algorithms. This paper introduces a new approach to the computation of volume visibility, the detection o...
171
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces three new probabilistic encryption schemes using elliptic curves over rings. The cryptosystems are based on three specific trapdoor mechanisms allowing the r...
171
click to vote
STOC
1999
ACM
15 years 10 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...