391 search results - page 41 / 79 » Using computer games for hybrid systems controller synthesis |
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
Electrical energy is a high quality form of energy that can be easily converted to other forms of energy with high efficiency and, even more importantly, it can be used to control...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
—In the next generation mobile communication systems, high-speed and high-quality packet data services are demanded. Hybrid ARQ (HARQ) is known as one of the promising error cont...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
We investigate the prevalence and learning impact of different types of off-task behavior in classrooms where students are using intelligent tutoring software. We find that within...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...