Sciweavers

448 search results - page 16 / 90
» Abstraction in Predictive State Representations
Sort
View
NIPS
2004
14 years 11 months ago
Schema Learning: Experience-Based Construction of Predictive Action Models
Schema learning is a way to discover probabilistic, constructivist, predictive action models (schemas) from experience. It includes methods for finding and using hidden state to m...
Michael P. Holmes, Charles Lee Isbell Jr.
PROMAS
2004
Springer
15 years 3 months ago
Goal Representation for BDI Agent Systems
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
Lars Braubach, Alexander Pokahr, Daniel Moldt, Win...
JIRS
2008
100views more  JIRS 2008»
14 years 9 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
SAMOS
2009
Springer
15 years 4 months ago
Prediction in Dynamic SDRAM Controller Policies
Abstract. Memory access latency can limit microcontroller system performance. SDRAM access control policies impact latency through SDRAM device state. It is shown that execution ti...
Ying Xu, Aabhas S. Agarwal, Brian T. Davis
POPL
2010
ACM
15 years 7 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...