Sciweavers

489 search results - page 41 / 98
» Formulations and Reformulations in Integer Programming
Sort
View
CP
2003
Springer
14 years 1 months ago
A SAT-Based Approach to Multiple Sequence Alignment
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
Steven David Prestwich, Desmond G. Higgins, Orla O...
ICASSP
2011
IEEE
12 years 11 months ago
A robust artificial noise aided transmit design for MISO secrecy
This paper considers an artificial noise (AN) aided secrecy rate maximization (SRM) problem for a multi-input single-output (MISO) channel overheard by multiple single-antenna ea...
Qiang Li, Wing-Kin Ma
PEPM
1994
ACM
13 years 12 months ago
The Essence of Eta-Expansion in Partial Evaluation
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
Olivier Danvy, Karoline Malmkjær, Jens Palsb...
ICRA
2010
IEEE
110views Robotics» more  ICRA 2010»
13 years 6 months ago
On-line calibration of multiple LIDARs on a mobile vehicle platform
— In this paper, we examine the problem of extrinsic calibration of multiple LIDARs on a mobile vehicle platform. To achieve fully automated and on-line calibration, the original...
Chao Gao, John R. Spletzer
WEA
2010
Springer
241views Algorithms» more  WEA 2010»
14 years 2 months ago
A Branch-and-Price Algorithm for Multi-mode Resource Leveling
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
Eamonn T. Coughlan, Marco E. Lübbecke, Jens S...