Sciweavers

2410 search results - page 145 / 482
» Multiset Ordering Constraints
Sort
View
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
16 years 10 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
15 years 11 months 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 10 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
ECP
1999
Springer
157views Robotics» more  ECP 1999»
15 years 10 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...