682 search results - page 77 / 137 » Game Development Using Design-by-Contract |
ACMACE
2009
ACM
14 years 4 months ago
2009
ACM
We developed Exertainer, a sensor-enabled, interactive running entertainment system to support advanced exercise applications. We designed Exertainer to be used in urban environme...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
TARK
2007
Springer
14 years 4 months ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
AINA
2005
IEEE
14 years 3 months ago
2005
IEEE
We describe approaches for satisfying the real-time collision detection requirements of distributed virtual environments. We assume a distributed virtual environment is deployed u...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...