1299 search results - page 219 / 260 » Quantitative Simulation Games |
108
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
148
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
135
click to vote
NEUROSCIENCE
2001
Springer
15 years 5 months ago
2001
Springer
The Brain is a slow computer yet humans can skillfully play games such as tennis where very fast reactions are required. Of particular interest is the evidence for strategic thinki...
129
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We develop a novel mechanism for coordinated, distributed multiagent planning. We consider problems stated as a collection of single-agent planning problems coupled by common soft...
95
Voted
ECIS
2004
15 years 2 months ago
2004
The organizational capabilities to interact with others have been greatly improved as a result of modern information and communications technologies: Nowadays a company can mainta...