Sciweavers

2657 search results - page 49 / 532
» On the complexity of hierarchical problem solving
Sort
View
AAAI
2006
15 years 2 months ago
An Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes
Despite the significant progress to extend Markov Decision Processes (MDP) to cooperative multi-agent systems, developing approaches that can deal with realistic problems remains ...
Aurélie Beynier, Abdel-Illah Mouaddib
EUROPAR
2003
Springer
15 years 6 months ago
Parallel ScaLAPACK-Style Algorithms for Solving Continuous-Time Sylvester Matrix Equations
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
Robert Granat, Bo Kågström, Peter Porom...
AAAI
2006
15 years 2 months ago
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
Jinbo Huang, Mark Chavira, Adnan Darwiche
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 8 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
CVPR
2009
IEEE
16 years 8 months ago
HOP: Hierarchical Object Parsing
In this paper we consider the problem of object parsing, namely detecting an object and its components by composing them from image observations. Apart from object localization, ...
Iasonas Kokkinos, Alan L. Yuille