Sciweavers

620 search results - page 59 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
CP
2010
Springer
13 years 8 months ago
Domain Consistency with Forbidden Values
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
Yves Deville, Pascal Van Hentenryck
ICTAI
2010
IEEE
13 years 7 months ago
Continuous Search in Constraint Programming
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
Alejandro Arbelaez, Youssef Hamadi, Michèle...
ICTAI
2010
IEEE
13 years 7 months ago
Metropolis Particle Swarm Optimization Algorithm with Mutation Operator for Global Optimization Problems
When a local optimal solution is reached with classical Particle Swarm Optimization (PSO), all particles in the swarm gather around it, and escaping from this local optima becomes...
Lhassane Idoumghar, M. Idrissi-Aouad, Mahmoud Melk...
IEAAIE
2010
Springer
13 years 7 months ago
Tabu Search with Consistent Neighbourhood for Strip Packing
This paper introduces a new tabu search algorithm for a strip packing problem. It integrates several key features: A consistent neighborhood, a fitness function including problem k...
Giglia Gómez-Villouta, Jean-Philippe Hamiez...
IEAAIE
2010
Springer
13 years 7 months ago
Predicting the Development of Juvenile Delinquency by Simulation
A large number of delinquent activities are performed by adolescents and only occur during this period in their lives. One of the main factors that influence this behaviour is soci...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...