Sciweavers

126 search results - page 8 / 26
» sara 2007
Sort
View
SARA
2007
Springer
14 years 4 months ago
Active Learning of Dynamic Bayesian Networks in Markov Decision Processes
Several recent techniques for solving Markov decision processes use dynamic Bayesian networks to compactly represent tasks. The dynamic Bayesian network representation may not be g...
Anders Jonsson, Andrew G. Barto
SARA
2007
Springer
14 years 4 months ago
Reformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
Timothy L. Hinrichs, Michael R. Genesereth
SARA
2007
Springer
14 years 4 months ago
Reformulating Constraint Satisfaction Problems to Improve Scalability
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch...
SARA
2007
Springer
14 years 4 months ago
DFS-Tree Based Heuristic Search
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
BMCBI
2005
95views more  BMCBI 2005»
13 years 9 months ago
'PACLIMS': A component LIM system for high-throughput functional genomic analysis
Nicole Donofrio, Ravi Rajagopalon, Douglas E. Brow...