Sciweavers

2972 search results - page 422 / 595
» Representing the Knowledge of a Robot
Sort
View
RE
2001
Springer
15 years 11 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
176
Voted
FGR
1996
IEEE
186views Biometrics» more  FGR 1996»
15 years 11 months ago
Dynamical system representation, generation, and recognition of basic oscillatory motion gestures
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...
Charles J. Cohen, Lynn Conway, Daniel E. Koditsche...
ECP
1997
Springer
92views Robotics» more  ECP 1997»
15 years 11 months ago
Understanding and Extending Graphplan
We provide a reconstruction of Blum and Furst’s Graphplan algorithm, and use the reconstruction to extend and improve the original algorithm in several ways. In our reconstructi...
Subbarao Kambhampati, Eric Parker, Eric Lambrecht
VL
1996
IEEE
130views Visual Languages» more  VL 1996»
15 years 11 months ago
Seeing Systolic Computations in a Video Game World
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
Kenneth M. Kahn
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
15 years 10 months ago
Genetic algorithms for positioning and utilizing sensors in synthetically generated landscapes
Positioning multiple sensors for acquisition of a a given environment is one of the fundamental research areas in various fields, such as military scouting, computer vision and ro...
Haluk Topcuoglu, Murat Ermis