Sciweavers

1201 search results - page 11 / 241
» Exact Analysis of Exact Change
Sort
View
COR
2008
160views more  COR 2008»
13 years 6 months ago
Formulations and exact algorithms for the vehicle routing problem with time windows
In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for...
Brian Kallehauge
COLT
2004
Springer
13 years 11 months ago
Oracle Bounds and Exact Algorithm for Dyadic Classification Trees
This paper introduces a new method using dyadic decision trees for estimating a classification or a regression function in a multiclass classification problem. The estimator is bas...
Gilles Blanchard, Christin Schäfer, Yves Roze...
ECOOP
2007
Springer
14 years 1 months ago
Aspect-Based Introspection and Change Analysis for Evolving Programs
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
Kevin J. Hoffman, Murali Krishna Ramanathan, Patri...
SAT
2005
Springer
162views Hardware» more  SAT 2005»
14 years 1 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
ICIAR
2005
Springer
14 years 1 months ago
Image Deformation Using Velocity Fields: An Exact Solution
In image deformation, one of the challenges is to produce a deformation that preserves image topology. Such deformations are called “homeomorphic”. One method of producing home...
Jeff Orchard