9581 search results - page 1491 / 1917 » On Ubiquitous Integrated Computing |
189
click to vote
EUROPAR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Blue Gene/L uses a large number of low power processors, together with multiple integrated interconnection networks, to build a supercomputer with low cost, space and pow...
194
click to vote
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
196
click to vote
ICMI
2005
Springer
16 years 16 days ago
2005
Springer
Head pose and gesture offer several key conversational grounding cues and are used extensively in face-to-face interaction among people. We investigate how dialog context from an ...
228
click to vote
LOPSTR
2005
Springer
16 years 15 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
231
click to vote
SG
2005
Springer
16 years 15 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...