3441 search results - page 448 / 689 » Intelligent Computation of Presentation Documents |
177
click to vote
AI
1999
Springer
15 years 7 months ago
1999
Springer
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
238
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
192
click to vote
FLAIRS
2010
15 years 5 months ago
2010
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...
209
click to vote
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
208
click to vote
HCI
2009
15 years 5 months ago
2009
The design and implementation of systems that combine both the utilities of the digital world as well as intrinsic affordances of traditional artifacts are challenging. In this pap...