Sciweavers

420 search results - page 72 / 84
» interact 1997
Sort
View
ECP
1997
Springer
105views Robotics» more  ECP 1997»
15 years 10 months ago
Planning, Learning, and Executing in Autonomous Systems
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
Ramón García-Martínez, Daniel...
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
EWLR
1997
Springer
15 years 10 months ago
Learning Complex Robot Behaviours by Evolutionary Computing with Task Decomposition
Building robots can be a tough job because the designer has to predict the interactions between the robot and the environment as well as to deal with them. One solution to cope the...
Wei-Po Lee, John Hallam, Henrik Hautop Lund
HPCN
1997
Springer
15 years 10 months ago
High Performance Discrete Event Simulations to Evaluate Complex Industrial Systems
We have developed a Modelling and Simulation platform for technical evaluation of Electronic Toll Collection on Motor Highways. This platform is used in a project of the Dutch gov...
Alfons G. Hoekstra, Leo Dorst, Martin Bergman, Jos...
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer