2314 search results - page 158 / 463 » What is a Model |
131
click to vote
FMSD
2008
15 years 3 months ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
132
click to vote
AH
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a system that delivers travel guides tailored to individual needs. It does so by integrating a discourse planner with a system for querying the web and genera...
120
Voted
ENTCS
2008
15 years 3 months ago
2008
We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. Thi...
130
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
119
click to vote
AAAI
2010
15 years 4 months ago
2010
It is standard in multiagent settings to assume that agents will adopt Nash equilibrium strategies. However, studies in experimental economics demonstrate that Nash equilibrium is...