Sciweavers

GECCO
2007
Springer
162views Optimization» more  GECCO 2007»
13 years 8 months ago
Genetic evolution of hierarchical behavior structures
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...
Brian G. Woolley, Gilbert L. Peterson
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
13 years 8 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
AGENTS
1997
Springer
13 years 8 months ago
Increasing Believability in Animated Pedagogical Agents
Animated pedagogical agents o er great promise for knowledge-based learning environments. In addition to coupling feedback capabilities with a strong visual presence, these agents...
James C. Lester, Brian A. Stone
SIGMOD
1998
ACM
166views Database» more  SIGMOD 1998»
13 years 8 months ago
CONTROL: Continuous Output and Navigation Technology with Refinement On-Line
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris ...
UML
1999
Springer
13 years 8 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz
RAID
1999
Springer
13 years 8 months ago
Anomaly Intrusion Detection Systems: Handling Temporal Relations Between Events
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
Alexandr Seleznyov, Seppo Puuronen
UML
2001
Springer
13 years 9 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
ROBOCUP
2001
Springer
75views Robotics» more  ROBOCUP 2001»
13 years 9 months ago
A Modular Hierarchical Behavior-Based Architecture
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...
Scott Lenser, James Bruce, Manuela M. Veloso
ISWC
2002
IEEE
13 years 9 months ago
Wearable Robotics as a Behavioral Interface - The Study of the Parasitic Humanoid
The Parasitic Humanoid (PH) is a wearable robot for modeling nonverbal human behavior. This anthropomorphic robot senses the behavior of the wearer and has the internal models to ...
Taro Maeda, Hideyuki Ando, Maki Sugimoto, Junji Wa...
ICRA
2002
IEEE
131views Robotics» more  ICRA 2002»
13 years 9 months ago
Acquisition and Embodiment of Motion Elements in Closed Mimesis Loop
It is needed for humanoid to acquire not only just a trajectory but also aim of the behavior and symbolic information during behavior development. We have proposed the mimesis sys...
Tetsunari Inamura, Iwaki Toshima, Yoshihiko Nakamu...