1690 search results - page 247 / 338 » Algorithmic Properties of Millstream Systems |
103
Voted
COCO
2004
Springer
15 years 6 months 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...
111
Voted
EUROPAR
2004
Springer
15 years 6 months 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...
112
Voted
PPDP
2004
Springer
15 years 6 months 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...
93
Voted
3DIM
2003
IEEE
15 years 6 months 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 ...
107
Voted
RTSS
2003
IEEE
15 years 6 months 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...