761 search results - page 25 / 153 » A Reactive Approach to Explanation |
90
Voted
CCS
2000
ACM
15 years 2 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
71
Voted
FPLAY
2008
14 years 11 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
85
Voted
ECCV
1994
Springer
15 years 2 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
102
Voted
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
74
Voted
FLAIRS
2004
14 years 11 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...