391 search results - page 44 / 79 » Using computer games for hybrid systems controller synthesis |
CAV
2006
Springer
14 years 1 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
BVAI
2007
Springer
14 years 4 months ago
2007
Springer
The promise of Brain-Computer Interfaces (BCI) technology is to augment human capabilities by enabling interaction with computers through a conscious and spontaneous modulation of ...
TSMC
1998
13 years 9 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
CVPR
1999
IEEE
15 years 7 days ago
1999
IEEE
This paper describes a system that uses a camera and a point light source to track a user's hand in three dimensions. Using depth cues obtained from projections of the hand a...