Sciweavers

4491 search results - page 750 / 899
» Algorithm Engineering
Sort
View
ICMI
2004
Springer
116views Biometrics» more  ICMI 2004»
15 years 11 months ago
Towards integrated microplanning of language and iconic gesture for multimodal output
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
Stefan Kopp, Paul Tepper, Justine Cassell
ISER
2004
Springer
158views Robotics» more  ISER 2004»
15 years 11 months ago
Collective Inspection of Regular Structures using a Swarm of Miniature Robots
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
Nikolaus Correll, Alcherio Martinoli
LCTRTS
2004
Springer
15 years 11 months ago
Generating fast code from concurrent program dependence graphs
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
Jia Zeng, Cristian Soviani, Stephen A. Edwards
LPAR
2004
Springer
15 years 11 months ago
Nonmonotonic Description Logic Programs: Implementation and Experiments
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
Thomas Eiter, Giovambattista Ianni, Roman Schindla...
OOPSLA
2004
Springer
15 years 11 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek