Sciweavers

1202 search results - page 61 / 241
» Sortings for Reactive Systems
Sort
View
AAAI
1990
15 years 27 days ago
Integrating, Execution, Planning, and Learning in Soar for External Environments
Three key components of an autonomous intelligent system are planning, execution, and learning. This paper describes how the Soar architecture supports planning, execution, and le...
John E. Laird, Paul S. Rosenbloom
TASE
2008
IEEE
14 years 11 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
64
Voted
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
15 years 6 months ago
Fast sensory motor control based on event-based hybrid neuromorphic-procedural system
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...
Tobi Delbrück, Patrick Lichtsteiner
80
Voted
ICNC
2005
Springer
15 years 5 months ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 3 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...