2313 search results - page 318 / 463 » On Heuristic Time Hierarchies |
145
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of ...
167
click to vote
SERVICES
2008
15 years 8 months ago
2008
In Service Oriented Architecture, each application is ofgned as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for tract ser...
154
click to vote
PDCN
2007
15 years 8 months ago
2007
Given a multicomputer system of parallel processors connected in a torus network, the one-to-all personalized communication is to send from the root processor unique data to each ...
193
click to vote
AAAI
2006
15 years 7 months ago
2006
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...
161
click to vote
CIIT
2004
15 years 7 months ago
2004
New applications emerge along with the rapid growth of the Internet. Many functionalities other than packet forwarding are being proposed to be added into routers for supporting t...