Sciweavers

1489 search results - page 132 / 298
» The First Bug Report
Sort
View
CAS
2008
68views more  CAS 2008»
15 years 4 months ago
Very Strongly Constrained Problems: an Ant Colony Optimization Approach
: Ant Colony Optimization (ACO) is a class of metaheuristic algorithms sharing the common approach of constructing a solution on the basis of information provided both by a standar...
Vittorio Maniezzo, Matteo Roffilli
COR
2010
152views more  COR 2010»
15 years 4 months ago
Variable neighborhood search for the dial-a-ride problem
In dial-a-ride problems passengers have to be transported between pre-specified pickup and delivery locations under user inconvenience considerations. The problem variant consider...
Sophie N. Parragh, Karl F. Doerner, Richard F. Har...
DEBU
2010
99views more  DEBU 2010»
15 years 4 months ago
Search-As-You-Type: Opportunities and Challenges
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
Chen Li, Guoliang Li
DISOPT
2008
85views more  DISOPT 2008»
15 years 4 months ago
How tight is the corner relaxation?
Given a mixed-integer linear programming (MILP) model and an optimal basis of the associated linear programming relaxation, the Gomory's corner relaxation is obtained by drop...
Matteo Fischetti, Michele Monaci
ENTCS
2008
97views more  ENTCS 2008»
15 years 4 months ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic