3221 search results - page 54 / 645 » Termination of Linear Programs |
153
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
156
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
168
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
Sentence compression is a valuable task in the framework of text summarization. In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in ...
143
click to vote
FOCS
1991
IEEE
15 years 9 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...