Sciweavers

2383 search results - page 274 / 477
» Anticipatory Behavioral Control
Sort
View
FTCS
1998
114views more  FTCS 1998»
14 years 3 days ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
WSCG
2003
148views more  WSCG 2003»
14 years 3 days ago
Generating Nonverbal Indicators of Deception in Virtual Reality Training
Old Dominion University (ODU) has been performing research in the area of training using virtual environments. The research involves both computer controlled agents and human part...
Frederic Rick McKenzie, Mark W. Scerbo, Jean M. Ca...
WEBNET
2000
14 years 3 days ago
Experiences from the Development and Use of Simulation Software for Complex Systems Education
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
Elpida Tzafestas
ATAL
2010
Springer
13 years 12 months ago
Dynamic generation and execution of human aware navigation plans
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
Thibault Kruse, Alexandra Kirsch, Emrah Akin Sisbo...
GECCO
2008
Springer
178views Optimization» more  GECCO 2008»
13 years 12 months ago
Agent Smith: a real-time game-playing agent for interactive dynamic games
The goal of this project is to develop an agent capable of learning and behaving autonomously and making decisions quickly in a dynamic environment. The agent’s environment is a...
Ryan K. Small