2026 search results - page 123 / 406 » Game Engines for Visualization |
WLP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
We present a system designed to facilitate language development in deaf children. The children interact with a computer game using American Sign Language (ASL). The system consist...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper, we study the interaction between overlay routing and Traffic Engineering (TE) in a single Autonomous System (AS). We formulate this interaction as a twoplayer n...