Sciweavers

2383 search results - page 274 / 477
» Anticipatory Behavioral Control
Sort
View
104
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 2 months 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»
15 years 2 months 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...
102
Voted
WEBNET
2000
15 years 2 months 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
98
Voted
ATAL
2010
Springer
15 years 1 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...
148
Voted
GECCO
2008
Springer
178views Optimization» more  GECCO 2008»
15 years 1 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