7988 search results - page 1243 / 1598 » A Useful Undecidable Theory |
181
Voted
SC
2003
ACM
16 years 2 days ago
2003
ACM
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
180
click to vote
SIGDOC
2003
ACM
16 years 2 days ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
178
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
144
Voted
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Auctions are useful mechanism for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders’ valuations for ite...
154
click to vote
CONTEXT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...