Sciweavers

1410 search results - page 215 / 282
» The Algorithmics of Solitaire-Like Games
Sort
View
132
Voted
MM
2004
ACM
160views Multimedia» more  MM 2004»
15 years 9 months ago
New ways of worldmaking: the Alterne platform for VR art
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
Marc Cavazza, Jean-Luc Lugrin, Simon Hartley, Paol...
133
Voted
INFOCOM
2002
IEEE
15 years 8 months ago
Design of Wavelength Converting Switches for Optical Burst Switching
— Optical Burst Switching (OBS) is an experimental network technology that enables the construction of very high capacity routers, using optical data paths and electronic control...
Jeyashankher Ramamirtham, Jonathan S. Turner
115
Voted
CAV
2006
Springer
122views Hardware» more  CAV 2006»
15 years 7 months ago
Repair of Boolean Programs with an Application to C
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
Andreas Griesmayer, Roderick Bloem, Byron Cook
127
Voted
AGENTS
2000
Springer
15 years 7 months ago
A game-theoretic formulation of multi-agent resource allocation
This paper considers resource allocation in a network with mobile agents competing for computational priority. We formulate this problem as a multi-agent game with the players bei...
Jonathan Bredin, Rajiv T. Maheswaran, Çagri...
149
Voted
HYBRID
2000
Springer
15 years 7 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas