3825 search results - page 79 / 765 » More on pooling spaces |
AAAI
2012
13 years 6 days ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Most change detection methods are based on gray-level images. A gray-level image is regarded as a 1-D projection of three channels of color images. Therefore, more precise change ...
AAAI
2004
14 years 11 months ago
2004
We present a general framework for studying heuristics for planning in the belief space. Earlier work has focused on giving implementations of heuristics that work well on benchma...
TON
2008
14 years 9 months ago
2008
Most network operators have considered reducing LSR label spaces (number of labels used) as a way of simplifying management of underlaying Virtual Private Networks (VPNs) and there...
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...