682 search results - page 122 / 137 » Game Development Using Design-by-Contract |
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
CIG
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper develops an approach to the capture and measurement of the information contained in opponents’ bet actions in seven card stud poker. We develop a causal model link...
ACMACE
2006
ACM
14 years 2 months ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
IV
2008
IEEE
14 years 3 months ago
2008
IEEE
Although Internet and WWW phenomena are often described using spatial metaphors, the commonest means of geographic orientation - the map - is little used in online navigation. Map...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...