2026 search results - page 233 / 406 » Game Engines for Visualization |
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
136
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Modern brain sensing technologies provide a variety of methods for detecting specific forms of brain activity. In this paper, we present an initial step in exploring how these tec...
138
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
143
click to vote
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents our development of a synthetic traffic model for the interactive online computer game Quake3. The goal is a traffic model that can be used by researchers and I...