414 search results - page 34 / 83 » Integer Linear Programming Models for Global Routing |
109
click to vote
IOR
2006
15 years 1 months ago
2006
We consider the problem of radiation therapy treatment planning for cancer patients. During radiation therapy, beams of radiation pass through a patient, killing both cancerous an...
130
Voted
ACL
2009
14 years 11 months ago
2009
In this paper, we investigate an approach for creating a comprehensive textual overview of a subject composed of information drawn from the Internet. We use the high-level structu...
105
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
118
click to vote
ATMOS
2007
15 years 3 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
207
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...