34181 search results - page 198 / 6837 » The Computer System GRAPHOGRAPH |
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
To meet the objectives of many future missions, robots will need to be adaptable and reconfigurable. A concept for such a robotic system has been proposed previously based on usin...
ISWC
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
TACS
2001
Springer
15 years 3 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
HPDC
2000
IEEE
15 years 3 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...