7988 search results - page 1204 / 1598 » A Useful Undecidable Theory |
162
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
214
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...
189
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present an advanced bidding agent that participates in first-price sealed bid auctions to allocate advertising space on BluScreen – an experimental public adve...
178
click to vote
BIOWIRE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
162
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...