Sciweavers

420 search results - page 72 / 84
» interact 1997
Sort
View
ECP
1997
Springer
105views Robotics» more  ECP 1997»
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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