4447 search results - page 620 / 890 » Model Checking Games |
161
click to vote
DAC
2006
ACM
16 years 20 days ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...
163
click to vote
SPAA
2006
ACM
16 years 19 days ago
2006
ACM
We consider a model of game-theoretic network design initially studied by Anshelevich et al. [2], where selfish players select paths in a network to minimize their cost, which is...
204
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
207
Voted
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
199
click to vote
CG
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...