1690 search results - page 247 / 338 » Algorithmic Properties of Millstream Systems |
174
Voted
COCO
2004
Springer
16 years 26 days ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
219
click to vote
EUROPAR
2004
Springer
16 years 25 days ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...
211
click to vote
PPDP
2004
Springer
16 years 24 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
177
Voted
3DIM
2003
IEEE
16 years 23 days ago
2003
IEEE
This paper addresses a registration refinement problem and presents an accurate and fast Point-to-(Tangent) Plane technique. Point-to-Plane approach is known to be very accurate ...
207
Voted
RTSS
2003
IEEE
16 years 22 days ago
2003
IEEE
In prior work on multiprocessor fairness, efficient techniques with provable properties for reallocating spare processing capacity have been elusive. In this paper, we address thi...