520 search results - page 44 / 104 » New Complexity Results for Classical Planning Benchmarks |
NIPS
2003
13 years 10 months ago
2003
We study an approach to policy selection for large relational Markov Decision Processes (MDPs). We consider a variant of approximate policy iteration (API) that replaces the usual...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper focuses on parallelization of the classic static timing analysis (STA) algorithm for verifying timing characteristics of digital integrated circuits. Given ever-increasi...
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
ETS
2006
IEEE
14 years 2 months ago
2006
IEEE
Spectral analysis represents a key component in signal processing. The on-chip implementation of classical spectral estimation techniques is generally not considered as a viable B...
HICSS
2000
IEEE
14 years 28 days ago
2000
IEEE
Chief information officers (CIOs) have the difficult job of running a function that uses a lot of resources but offers little measurable evidence of its value. Line managers are i...