4447 search results - page 612 / 890 » Model Checking Games |
145
click to vote
ESA
2003
Springer
15 years 12 months ago
2003
Springer
We present a new finger search tree with O(1) worst-case update time and O(log log d) expected search time with high probability in the Random Access Machine (RAM) model of comput...
175
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
153
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
195
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
New technologies such as IEEE 802.16 (Wi-MAX) [2] and IEEE 802.11e (Wi-Fi with QoS) [1] enable differentiated services. In this study we explore the potential for increasing the r...
159
Voted
AAAI
2006
15 years 8 months ago
2006
In a team-based multiagent system, the ability to construct a model of an opponent team's joint behavior can be useful for determining an agent's expected distribution o...