1716 search results - page 230 / 344 » Proving Conditional Termination |
141
click to vote
MOR
2008
15 years 3 months ago
2008
In this paper, we consider two geometric optimization problems that are dual to each other and characterize conditions under which the optimal values of the two problems are equal...
152
Voted
EOR
2007
15 years 3 months ago
2007
: In this paper, the RCPSP (Resource Constrained Project Scheduling Problem) is solved using a linear programming model. Each activity may or may not be preemptive. Each variable i...
128
Voted
PE
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we describe an analytical technique for the performance evaluation of wide-area networks carrying realistic TCP traffic, such as that produced by a large number of f...
116
Voted
SCL
2008
15 years 3 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
116
Voted
SIAMAM
2008
15 years 3 months ago
2008
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...