Sciweavers

2478 search results - page 86 / 496
» Universality in two dimensions
Sort
View
EOR
2007
79views more  EOR 2007»
15 years 6 months ago
The directional p
An instance of a p-median problem gives n demand points. The objective is to locate p supply points in order to minimize the total distance of the demand points to their nearest s...
Laura E. Jackson, George N. Rouskas, Matthias F. M...
MLDM
2001
Springer
15 years 10 months ago
Learning XML Grammars
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
Henning Fernau
SAT
2011
Springer
263views Hardware» more  SAT 2011»
14 years 9 months ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere
EUROCAST
2007
Springer
126views Hardware» more  EUROCAST 2007»
16 years 10 days ago
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows
Abstract. In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with soft Time Windows...
Andreas Beham
VL
2009
IEEE
157views Visual Languages» more  VL 2009»
16 years 28 days ago
Combining spatial and semantic label analysis
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
Chris Chambers, Martin Erwig