Sciweavers

1953 search results - page 213 / 391
» Normative system games
Sort
View
APAL
2005
117views more  APAL 2005»
15 years 4 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
CHI
2006
ACM
16 years 4 months ago
Sound intensity gradients in an ambient intelligence audio display
This paper describes the prototype of a real-time responsive audio display for an ambient intelligent game named socio-ec(h)o. The audio display relies on a gradient response to r...
Milena Droumeva, Ron Wakkary
CHI
2003
ACM
16 years 4 months ago
CHI-ball, an interactive device assisting martial arts education for children
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...
Markus Heberlein, Hayashi Takafumi, Nashold Sarah,...
ACG
2006
Springer
15 years 10 months ago
An Event-Based Pool Physics Simulator
A method to simulate the physics of the game of pool is presented. The method is based upon a parametrization of ball motion which allows the time of occurrence of events, such as...
Will Leckie, Michael A. Greenspan
COMPSAC
2005
IEEE
15 years 9 months ago
Designing Controllers for Reachability
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
Cristina Cerschi Seceleanu