Sciweavers

761 search results - page 72 / 153
» A Reactive Approach to Explanation
Sort
View
ICRA
1994
IEEE
157views Robotics» more  ICRA 1994»
15 years 8 months ago
An Integrated System for Autonomous Off-Road Navigation
In this paper, we report on experiments with a core system for autonomous navigation in outdoor natural terrain. The system consists of three parts: a perception module which proc...
Dirk Langer, Julio Rosenblatt, Martial Hebert
LCTRTS
2010
Springer
15 years 11 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
15 years 10 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...
PADS
1999
ACM
15 years 8 months ago
Shock Resistant Time Warp
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
Alois Ferscha, James Johnson
IAT
2006
IEEE
15 years 10 months ago
Empirical Analysis for Agent System Comprehension and Verification
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber