699 search results - page 76 / 140 » The method of combinatorial telescoping |
102
click to vote
COMPGEOM
2007
ACM
15 years 4 months ago
2007
ACM
We prove an optimal generalization of the centerpoint theorem: given a set P of n points in the plane, there exist two points (not necessarily among input points) that hit all con...
122
Voted
SETN
2010
Springer
15 years 4 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
100
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
120
click to vote
ESA
2000
Springer
15 years 4 months ago
2000
Springer
The resource constrained shortest path problem (CSP) asks for the computation of a least cost path obeying a set of resource constraints. The problem is NP-complete. We give theore...
74
Voted
PATAT
2000
Springer
15 years 4 months ago
2000
Springer
The concept of a hyperheuristic is introduced as an approach rates at a higher lever of abstraction than current metaheuristic approaches. The hyperheuristic manages the choice of ...