5216 search results - page 316 / 1044 » Planning as Model Checking |
117
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we introduce a tile-graph-based approach to power planning. For a given flooplan solution, the power inputs are modeled into a tile graph, the minimum capacity of e...
137
click to vote
SAINT
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
159
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Relational world models that can be learned from experience in stochastic domains have received significant attention recently. However, efficient planning using these models rema...
161
click to vote
AAAI
2011
14 years 4 months ago
2011
In environmental and natural resource planning domains actions are taken at a large number of locations over multiple time periods. These problems have enormous state and action s...
161
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
We cast the problem of recognizing related categories as a unified learning and structured prediction problem with shared body plans. When provided with detailed annotations of o...