490 search results - page 31 / 98 » Abstraction Augmented Markov Models |
156
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
150
click to vote
NFM
2011
14 years 9 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
139
click to vote
HT
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
191
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
117
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...