3850 search results - page 235 / 770 » Optimal Linear Broadcast |
190
click to vote
IS
2011
15 years 1 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
160
click to vote
SJ
2010
15 years 1 months ago
2010
We study the upgrading problem of existing Passive Optical Networks (PONs) that need to increase their capacity at different points in time. Our method upgrades line rates and migr...
190
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
156
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
164
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
We discuss the problem of optimally "finishing" a partially sequenced, reconstructed DNA segment. At first sight, this appears to be computationally hard. We construct a...