955 search results - page 113 / 191 » Semantic Approach to Dynamic Coordination in Autonomous Syst... |
CAISE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The emergence of large-scale online collaboration requires current information systems to be apprehended as service ensembles comprising human and software service entiti...
ICECCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
KI
2001
Springer
14 years 2 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
FASE
2005
Springer
14 years 3 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...