11168 search results - page 97 / 2234 » Abstract State Processes |
156
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We give an optimal dynamic programming algorithm to solve a class of finite-horizon decentralized Markov decision processes (MDPs). We consider problems with a broadcast informati...
156
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...
224
click to vote
TSE
2012
13 years 6 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
148
click to vote
Publication
Abstract information refers to information that a user can’t directly obtain just by visualizing the spatial information of objects in a 3D virtual environment (3DVE). This thesi...
134
click to vote
AAAI
2010
15 years 5 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...