4163 search results - page 314 / 833 » Enhancing surgical systems |
173
click to vote
AIIA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...
143
click to vote
ATVA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
173
click to vote
ADVIS
2004
Springer
16 years 4 days ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
173
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
There are shortcomings in using the Web to publish information which are information overload and lost in hyperspace. The aim of the research is investigating how the Semantic web,...
174
click to vote
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
3D graphics performance is increasing faster than any other computing application. Almost all PC systems now include 3D graphics accelerators for games, CAD, or visualization appl...