Sciweavers

4451 search results - page 300 / 891
» On Random Ordering Constraints
Sort
View
DATE
2008
IEEE
93views Hardware» more  DATE 2008»
16 years 1 months ago
A Fast Approximation Algorithm for MIN-ONE SAT
In this paper, we propose a novel approximation algorithm (RelaxSAT) for MIN-ONE SAT. RelaxSAT generates a set of constraints from the objective function to guide the search. The ...
Lei Fang, Michael S. Hsiao
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
16 years 22 days ago
Decentralized Optimization of Distributed Supply-chain
— In this paper, the problem of optimizing the performances of a distributed supply chain is faced by means of a decentralized architecture. In particular, a general scheme for a...
Marco Ghirardi, Giuseppe Menga, Nicola Sacco
WLP
2004
Springer
16 years 16 hour ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
ICTAI
2002
IEEE
15 years 11 months ago
Data Mining Using Cultural Algorithms and Regional Schemata
In the paper we demonstrate how evolutionary search for functional optima can be used as a vehicle for data mining. That is, in the process of searching for optima in a multi-dime...
Xidong Jin, Robert G. Reynolds
CP
1999
Springer
15 years 11 months ago
The Goldilocks Problem
A lot of work in constraint satisfaction has been focused on finding solutions to difficult problems. Many real life problems however, while not extremely complicated, have a huge...
Tudor Hulubei, Eugene C. Freuder