Searching for "Realizations and LP." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Reconfiguration Based Failure Restoration in Wavelength-routed WDM Networks
- … in the faulty network (LP design) and realizing these new LPs by selectively removing the old LPs (LP…
- Cited by 2 (0 self) – Add To MetaCart
-
Explicit Modal Logic
- … that LP realizes the entire S4 by assigning explicit proof terms to the modalities in every S4-derivation…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Midpath Tree Conjecture: A Counter-Example
- …, which realizes the total order on pairwise distances. Clearly, in many cases an unweighted tree may…
- Add To MetaCart
-
A survey of linear programming in randomized subexponential time
- … an instance of AOP. However very few of the (2 n )! possible AOP linear orders are realizable as an LP problem…
- Cited by 19 (0 self) – Add To MetaCart
-
A replacement theorem for LP
- … realizations that may prove useful for other things as well. 1 Introduction The logic LP (logic of proofs…
- Cited by 1 (1 self) – Add To MetaCart
-
From Narrow to Wide Band Normalization for Orbit and Trajectory Measurements
- …. Furthermore the realization of the LP filter requires less critically matchedpaired units. The simplicity…
- Add To MetaCart
-
Explicit Provability And Constructive Semantics
- … of the resulting Logic of Proofs LP (Theorem 8.1 and Corollary 8.10). We show that LP realizes all of S4 (Theorem 9…
- Cited by 38 (13 self) – Add To MetaCart
-
A Framework for Processing Partially Free Word Order*
- … from a fully expanded LP relation, e.g., realize that there is no LP rule whose first element has -MC…
- Add To MetaCart
-
Towards Real-Time Dynamic Spectrum Auctions
- … possible revenue. Simulation results reveal that this worse-case bound is almost never realized, and the LP…
- Add To MetaCart
-
On the Complexity of Ordinal Clustering
- … that we will use in proving our main results. 2.1 Realizability and LP's Define dTw to be the distance…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
