Sciweavers

3318 search results - page 53 / 664
» The Weak Instance Model
Sort
View
CONSTRAINTS
2011
13 years 2 months ago
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...
Pierre Schaus, Pascal Van Hentenryck, Jean-Noë...
KI
1999
Springer
14 years 4 days ago
Systematic vs. Local Search for SAT
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
Holger H. Hoos, Thomas Stützle
ATAL
2005
Springer
14 years 1 months ago
Agent-based trust model involving multiple qualities
A key limitation of current Web services standards is the inability to differentiate service instances at runtime using (nonfunctional) qualities of services (QoS). Such differe...
E. Michael Maximilien, Munindar P. Singh
POPL
2009
ACM
14 years 8 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
SIAMADS
2010
97views more  SIAMADS 2010»
13 years 2 months ago
Localized States in a Model of Pattern Formation in a Vertically Vibrated Layer
Abstract. We consider a novel asymptotic limit of model equations proposed to describe the formation of localized states in a vertically vibrated layer of granular material or visc...
J. H. P. Dawes, S. Lilley