Sciweavers

1424 search results - page 79 / 285
» The Multi-radius Cover Problem
Sort
View
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 3 months ago
Branching proofs of infeasibility in low density subset sum problems
We prove that the subset sum problem ax = x {0, 1}n (SUB) has a polynomial time computable certificate of infeasibility for all a with density at most 1/(2n), and for almost all ...
Gábor Pataki, Mustafa Tural
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 3 months ago
Decision Problems for Petri Nets with Names
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...
Fernando Rosa Velardo, David de Frutos-Escrig
DAM
2010
81views more  DAM 2010»
15 years 3 months ago
The k-in-a-tree problem for graphs of girth at least k
For all integers k 3, we give an O(n4 ) time algorithm for the problem whose instance is a graph G of girth at least k together with k vertices and whose question is "Does G...
W. Liu, Nicolas Trotignon
HM
2009
Springer
145views Optimization» more  HM 2009»
15 years 7 months ago
Multiple Variable Neighborhood Search Enriched with ILP Techniques for the Periodic Vehicle Routing Problem with Time Windows
Abstract. In this work we extend a VNS for the periodic vehicle routing problem with time windows (PVRPTW) to a multiple VNS (mVNS) where several VNS instances are applied cooperat...
Sandro Pirkwieser, Günther R. Raidl
FEGC
2006
92views Biometrics» more  FEGC 2006»
15 years 4 months ago
Maintaining an Online Bibliographical Database: The Problem of Data Quality
CiteSeer and Google-Scholar are huge digital libraries which provide access to (computer-)science publications. Both collections are operated like specialized search engines, they ...
Michael Ley, Patrick Reuther