Sciweavers

1341 search results - page 181 / 269
» Probabilistic Abstraction Hierarchies
Sort
View
111
Voted
CP
2004
Springer
15 years 6 months ago
Counting-Based Look-Ahead Schemes for Constraint Satisfaction
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
Kalev Kask, Rina Dechter, Vibhav Gogate
96
Voted
FOSSACS
2004
Springer
15 years 6 months ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...
GECCO
2004
Springer
15 years 6 months ago
Evolving Quantum Circuits and Programs Through Genetic Programming
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
Paul Massey, John A. Clark, Susan Stepney
ICBA
2004
Springer
172views Biometrics» more  ICBA 2004»
15 years 6 months ago
Hallucinating Face by Eigentransformation with Distortion Reduction
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
Xiaogang Wang, Xiaoou Tang
ILP
2004
Springer
15 years 6 months ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi