Journal Article (3187)
2801.
Journal Article
19 (1), pp. 17 - 41 (1999)
On the single-source unsplittable flow problem. Combinatorica 2802.
Journal Article
32 (1), pp. 21 - 30 (1999)
A 3-approximation algorithm for finding optimum 4,5-vertex-connected spanning subgraphs. Journal of Algorithms 2803.
Journal Article
19 (2), pp. 297 - 300 (1999)
On the Membership Problem for the Elementary Closure of a Polyhedron. Combinatorica 2804.
Journal Article
152, pp. 44 - 61 (1999)
Decision trees: old and new results. Information and Computation 2805.
Journal Article
45 (3), pp. 971 - 991 (1999)
Scaling Analysis of Conservative Cascades, with Applications to Network Traffic. IEEE Transactions on Information Theory 2806.
Journal Article
69 (1), pp. 7 - 13 (1999)
Efficient algorithms for counting and reporting pairwise intersections between convex polygons. Information Processing Letters 2807.
Journal Article
152 (2), pp. 205 - 235 (1999)
Logic with Equality: Partisan Corroboration and Shifted Pairing. Information and Computation 2808.
Journal Article
15 (4), pp. 623 - 639 (1999)
Motion Planning in R3 for Multiple Tethered Robots. IEEE Transactions on Robotics and Automation 2809.
Journal Article
9 (4), pp. 479 - 522 (1999)
An Empirical Analysis of Modal Theorem Provers. Journal of Applied Non-Classical Logics 2810.
Journal Article
33 (3), pp. 167 - 174 (1999)
Transmissions in a network with capacities and delays. Networks 2811.
Journal Article
14 (1-3), pp. 5 - 24 (1999)
Multiresolution Hierarchies on Unstructured Triangle Meshes. Computational Geometry: Theory and Applications 2812.
Journal Article
27 (2), pp. 207 - 219 (1999)
The STO problem is NP-complete. Journal of Symbolic Computation 2813.
Journal Article
15 (3), pp. 203 - 210 (1999)
An exact solution for the segment-to-segment multiple sequence alignment problem. Bioinformatics 2814.
Journal Article
22 (1), pp. 65 - 115 (1999)
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning 2815.
Journal Article
354 (9187), pp. 1341 - 6 (1999)
Mutations in the ABC1 gene in familial HDL deficiency with defective cholesterol efflux. The Lancet 2816.
Journal Article
12, pp. 85 - 104 (1999)
Checking geometric programs or verification of geometric structures. Computational Geometry: Theory and Applications 2817.
Journal Article
12, pp. 153 - 154 (1999)
Editorial. Computational Geometry 2818.
Journal Article
46 (1), pp. 92 - 112 (1999)
An Optimality Proof of the LRU-K Page Replacement Algorithm. Journal of the ACM 2819.
Journal Article
25 (5), pp. 525 - 534 (1999)
A case study in scalability: an ADI method for the two-dimensional time-dependent Dirac equation. Parallel Computing 2820.
Journal Article
25, pp. 1013 - 1033 (1999)
Analysis of nearest neighbor load balancing algorithms for random loads. Parallel Computing