3446 search results - page 454 / 690 » A Reasoning Algorithm for pD* |
212
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
A Replica Location Service (RLS) allows registration and discovery of data replicas. In earlier work, we proposed an RLS framework and described the performance and scalability of...
152
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
146
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
155
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Distributed computing on heterogeneous nodes, or grid computing, provides a substantial increase in computational power available for many applications. This paper reports our expe...
152
click to vote
INDOCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
The Montgomery multiplication is often used for an efficient implementations of public-key cryptosystems. This algorithm occasionally needs an extra subtraction in the final step,...