Sciweavers

4631 search results - page 53 / 927
» Experiences with an Environment Generation System
Sort
View
ET
1998
99views more  ET 1998»
13 years 9 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
AIPS
1996
13 years 11 months ago
Planning Experiments: Resolving Interactions between Two Planning Spaces
Learning from experimentation allows a system to acquire planning domain knowledge by correcting its knowledge when an action execution fails. Experiments are designed and planned...
Yolanda Gil
CEC
2005
IEEE
14 years 3 months ago
Sensorimotor experience and its metrics: informational geometry and the temporal horizon
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...
Chrystopher L. Nehaniv
DBVIS
1995
146views Database» more  DBVIS 1995»
14 years 1 months ago
The Tioga-2 Database Visualization Environment
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...
Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spal...
JSS
2006
99views more  JSS 2006»
13 years 10 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya