297 search results - page 6 / 60 » Issues in Temporal Reasoning for Autonomous Control Systems |
ICRA
2009
IEEE
14 years 1 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
HAIS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
ECAI
2004
Springer
14 years 12 days ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
AIMS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. A central issue in autonomic management is how to coordinate several autonomic management processes, which is assumed to require significant knowledge exchange. This stu...
KR
1991
Springer
13 years 10 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...