3446 search results - page 547 / 690 » A Reasoning Algorithm for pD* |
128
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Environment matting is a generalization of traditional bluescreen matting. By photographing an object in front of a sequence of structured light backdrops, a set of approximate li...
106
click to vote
AES
2000
Springer
15 years 8 months ago
2000
Springer
We compare the five candidates for the Advanced Encryption Standard based on their performance on the Alpha 21264, a 64-bit superscalar processor. There are several new features o...
165
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract This contribution describes how an elliptic curve cryptosystem can be implemented on very low cost microprocessors with reasonable performance. We focus in this paper on t...
139
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
134
Voted
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Since the 1970’s, database systems have been “compute-centric”. When a computation needs the data, it requests the data, and the data are pulled through the system. We belie...