Sciweavers

1486 search results - page 194 / 298
» Algorithms for two-box covering
Sort
View
CN
2008
81views more  CN 2008»
15 years 4 months ago
A survey on resource discovery mechanisms, peer-to-peer and service discovery frameworks
Service and resource discovery has become an integral part of modern networked systems. In this survey we give an overview of the existing solutions for service and resource discov...
Elena Meshkova, Janne Riihijärvi, Marina Petr...
CONSTRAINTS
2007
46views more  CONSTRAINTS 2007»
15 years 4 months ago
Local-search Extraction of MUSes
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
Éric Grégoire, Bertrand Mazure, C&ea...
COR
2007
95views more  COR 2007»
15 years 4 months ago
Inventory routing with continuous moves
The typical inventory routing problem deals with the repeated distribution of a single product from a single facility with an unlimited supply to a set of customers that can all b...
Martin W. P. Savelsbergh, Jin-Hwa Song
EOR
2007
90views more  EOR 2007»
15 years 4 months ago
Arc routing problems with time-dependent service costs
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
Mariam Tagmouti, Michel Gendreau, Jean-Yves Potvin
TOCL
2008
128views more  TOCL 2008»
15 years 4 months ago
A comprehensive combination framework
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...