Sciweavers

78 search results - page 4 / 16
» Reasoning about MDPs as Transformers of Probability Distribu...
Sort
View
CORR
2008
Springer
118views Education» more  CORR 2008»
13 years 6 months ago
Distributed Constrained Optimization with Semicoordinate Transformations
Recent work has shown how information theory extends conventional full-rationality game theory to allow bounded rational agents. The associated mathematical framework can be used ...
William G. Macready, David Wolpert
ANLP
2000
106views more  ANLP 2000»
13 years 7 months ago
Exploiting auxiliary distributions in stochastic unification-based grammars
This paper describes a method for estimating conditional probability distributions over the parses of "unification-based" grammars which can utilize auxiliary distributi...
Mark Johnson, Stefan Riezler
FMSD
2002
114views more  FMSD 2002»
13 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
14 years 16 days ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
IRI
2008
IEEE
14 years 25 days ago
Computation with imprecise probabilities
abstract An imprecise probability distribution is an instance of second-order uncertainty, that is, uncertainty about uncertainty, or uncertainty for short. Another instance is an ...
Lotfi A. Zadeh