682 search results - page 96 / 137 » Game Development Using Design-by-Contract |
MATES
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
INTERNET
2008
13 years 10 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— Standard embeded sensor nework models emphasize energy efficiency and distributed decision-making by considering untethered and unattended sensors. To this we add two ...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
MUM
2004
ACM
14 years 3 months ago
2004
ACM
The GapiDraw platform supports the creation of highperformance graphical applications across a variety of handheld hardware configurations, including Palm, Symbian and Windows Mob...