1092 search results - page 182 / 219 » Polynomial Interpretations and the Complexity of Algorithms |
111
Voted
COCO
2004
Springer
15 years 7 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...
110
click to vote
COCOON
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The supply chain between manufacturers and retailers always includes transshipments through a network of locations. A major challenge in making demand meet supply has bee...
139
Voted
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
120
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
113
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...