45 search results - page 3 / 9 » Stream-Based Reasoning Support for Autonomous Systems |
COMPSAC
2004
IEEE
13 years 10 months ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
ATAL
2007
Springer
14 years 16 days ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
KI
2007
Springer
14 years 15 days ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
ENTCS
2002
13 years 6 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
IAT
2007
IEEE
14 years 21 days ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...