699 search results - page 125 / 140 » The KGP Model of Agency for Global Computing: Computational ... |
PDP
2008
IEEE
14 years 1 months ago
2008
IEEE
Autonomic management can be used to improve the QoS provided by parallel/distributed applications. We discuss behavioural skeletons introduced in earlier work: rather than relying...
COOPIS
2002
IEEE
14 years 13 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
CAV
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...