Sciweavers

1782 search results - page 260 / 357
» Dynamics based control with PSRs
Sort
View
ECAI
2008
Springer
13 years 10 months ago
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
AIPS
2006
13 years 10 months ago
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
Bernd Schattenberg, Steffen Balzer, Susanne Biundo
INTERACT
2003
13 years 10 months ago
A Hierarchical Keyframe User Interface for Browsing Video over the Internet
: We present an interactive content-based video browser allowing fast, non linear and hierarchical navigation of video over the Internet through multiple levels of key-frames that ...
Maël Guillemot, Pierre Wellner, Daniel Gatica...
FLAIRS
1998
13 years 10 months ago
Learning to Race: Experiments with a Simulated Race Car
Our focus is on designing adaptable agents for highly dynamic environments. Wehave implementeda reinforcement learning architecture as the reactive componentof a twolayer control ...
Larry D. Pyeatt, Adele E. Howe
AAAI
1994
13 years 10 months ago
Cost-Effective Sensing during Plan Execution
Between sensing the world after every action (as in a reactive plan) and not sensing at all (as in an openloop plan), lies a continuum of strategies for sensing during plan execut...
Eric A. Hansen