Sciweavers

1424 search results - page 79 / 285
» The Multi-radius Cover Problem
Sort
View
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 28 days 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
106
Voted
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 28 days 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 28 days 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
107
Voted
HM
2009
Springer
145views Optimization» more  HM 2009»
15 years 5 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
90
Voted
FEGC
2006
92views Biometrics» more  FEGC 2006»
15 years 2 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