Sciweavers

4081 search results - page 301 / 817
» The Impact of Constraint Programming
Sort
View
COCOON
2005
Springer
16 years 8 days ago
Bicriteria Network Design via Iterative Rounding
We study the edge-connectivity survivable network design problem with an additional linear budget constraint. We give a strongly polynomial time (3, 3)-approximation algorithm for ...
Piotr Krysta
FLAIRS
2008
15 years 7 months ago
Feeder Setup Optimization in SMT Assembly
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
Jan Kelbel, Zdenek Hanzálek
CP
2005
Springer
16 years 8 days ago
Bounds-Consistent Local Search
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
Stefania Verachi, Steven David Prestwich
FMCO
2006
Springer
15 years 10 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
160
Voted
IFIP
2000
Springer
15 years 10 months ago
Project-specific Process Configuration in Virtual Enterprises
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
Christian Rupprecht, Thomas Rose, E. van Halm, Ari...