Sciweavers

2735 search results - page 423 / 547
» Comparing notions of randomness
Sort
View
CP
1998
Springer
15 years 5 months ago
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units
A well-studied problem in the electric power industry is that of optimally scheduling preventative maintenance of power generating units within a power plant. We show how these pr...
Daniel Frost, Rina Dechter
ACIVS
2007
Springer
15 years 4 months ago
A Multi-agent Approach for Range Image Segmentation with Bayesian Edge Regularization
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
Smaine Mazouzi, Zahia Guessoum, Fabien Michel, Moh...
AUSAI
2007
Springer
15 years 4 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
117
Voted
CAIP
2007
Springer
194views Image Analysis» more  CAIP 2007»
15 years 4 months ago
A New Wavelet-Based Texture Descriptor for Image Retrieval
This paper presents a novel texture descriptor based on the wavelet transform. First, we will consider vertical and horizontal coefficients at the same position as the components o...
Esther de Ves, Ana M. C. Ruedin, Daniel G. Acevedo...
113
Voted
CP
2007
Springer
15 years 4 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti