414 search results - page 34 / 83 » Integer Linear Programming Models for Global Routing |
114
Voted
IOR
2006
15 years 2 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...
133
click to vote
ACL
2009
15 years 7 days 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...
108
Voted
CIKM
2011
Springer
14 years 2 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...
123
Voted
ATMOS
2007
15 years 4 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...
213
Voted
LPAR
2010
Springer
15 years 9 days 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...