Konferenzband (1)

81.
Konferenzband
Mehlhorn, K. (Hg.): Fundamentals - Foundations of Computer Science. Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society, Vienna, Austria and Budapest, Hungary (1998), 110 S.

Konferenzbeitrag (102)

82.
Konferenzbeitrag
Abdelwaheb, A.; Basin, D. A.; Podelski, A.: LISA: A Specification Language Based on WS2S. In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), S. 18 - 34 (Hg. Nielsen, M.; Thomas, W.). Untitled Event, Aarhus, Denmark, 1998. Springer, Berlin, Germany (1998)
83.
Konferenzbeitrag
Albers, S.; Charikar, M.; Mitzenmacher, M.: On delayed information and action in on-line algorithms. In: Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science (FOCS-98), S. 71 - 80. Untitled Event, Palo Alto, USA, 08. November 1998 - 11. November 1998. IEEE, Los Alamitos, USA (1998)
84.
Konferenzbeitrag
Albers, S.; Garg, N.; Leonardi, S.: Minimizing stall time in single and parallel disk systems. In: Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC-98), S. 454 - 462. Untitled Event, Dallas, USA, 1998. ACM Press, New York, USA (1998)
85.
Konferenzbeitrag
Albers, S.; Mitzenmacher, M.: Average-case Analyses of First-fit and Random-fit Bin Packing. In: Proceedings of the 9th Annual ACM-SIAM Symposium on Discrete Algorithms, S. 290 - 299. 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, USA, 25. Januar 1998 - 27. Januar 1998. ACM Press / SIAM, New York, NY (1998)
86.
Konferenzbeitrag
Alberts, D.; Cattaneo, G.; Italiano, G.; Nanni, U.; Zaroliagis, C.: A Software Library of Dynamic Graph Algorithms. In: Proceedings of Workshop on Algorithms and Experiments (ALEX-98), S. 129 - 136 (Hg. Battiti, R.; Bertosi, A.). Untitled Event, Trento, Italy. University of Trento, Trento, Italy (1998)
87.
Konferenzbeitrag
Alefragis, P.; Goumopoulos, C.; Sanders, P.; Takkula, T.; Wedelin, D.: Parallel Crew Scheduling in PAROS. In: Proceedings of the 4th International Euro-Par Conference (Euro-Par-98), S. 1104 - 1113 (Hg. Pritchard, D.; Reeve, J.). Untitled Event, Southhampton, UK, 1998. Springer, Berlin, Germany (1998)
88.
Konferenzbeitrag
Aoki, H.; Schiele, B.; Pentland, A.: Recognizing Personal Location from Video. In: Workshop on Perceptual User Interfaces, S. 79 - 82 (Hg. Turk, M.). Workshop on Perceptual User Interfaces, San Francisco, CA, USA, 05. November 1998 - 06. November 1998. ACM, New York, NY (1998)
89.
Konferenzbeitrag
Bachmair, L.; Ganzinger, H.: Strict Basic Superposition. In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), S. 160 - 174 (Hg. Kirchner, C.; Kirchner, H.). Untitled Event, Lindau, Germany, 1998. Springer, Berlin, Germany (1998)
90.
Konferenzbeitrag
Bachmair, L.; Ganzinger, H.; Voronkov, A.: Elimination of Equality via Transformation with Ordering Constraints. In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), S. 175 - 190 (Hg. Kirchner, C.; Kirchner, H.). Untitled Event, Lindau, Germany, 1998. Springer, Berlin, Germany (1998)
91.
Konferenzbeitrag
Basin, D. A.; Matthews, S.; Viganò, L.: A Modular Presentation of Modal Logics in a Logical Framework. In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, S. 293 - 307 (Hg. Ginzburg, J.; Khasidashvili, Z.; Vogel, C.; Levy, J.-J.; Vallduvi, E.). Untitled Event, Tbilisi, Georgia. CSLI, Stanford, USA (1998)
92.
Konferenzbeitrag
Bast, H.: Dynamic Scheduling with Incomplete Information. In: Proceedings of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA-98), S. 182 - 191. Untitled Event, Puerto Vallarta, Mexico, 1998. ACM Press, New York, USA (1998)
93.
Konferenzbeitrag
Biedl, T.; Kaufmann, M.; Mutzel, P.: Drawing Planar Partitions II: HH-Drawings. In: Proceedings of the 24th Workshop on Graph-Theoretic Concepts in Computer Science (WG-98), S. 124 - 136 (Hg. Hromkovic, J.; Sykora, O.). Untitled Event, Smolenice, 1998. Springer, Berlin, Germany (1998)
94.
Konferenzbeitrag
Bockmayr, A.; Dimopoulos, Y.: Mixed Integer Programming Models for Planning Problems. In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), S. 1 - 6 (Hg. Frank, J.; Sabin, M.). Untitled Event, Pisa, Italy, 11. Oktober 2006. NASA Ames Research Center, Moffett Field, USA (1998)
95.
Konferenzbeitrag
Bradford, P. G.; Golin, M. J.; Larmore, L. L.; Rytter, W.: Optimal Prefix-Free Codes for Unequal Letter Costs: Dynamic Programming with the Monge Property. In: Proceedings of the 6th Annual European Symposium on Algorithms (ESA-98), S. 43 - 54 (Hg. Bilardi, G.; Italiano, G. F.; Pietracaprina, A.; Pucci, G.). Untitled Event, Venice, Italy. Springer, Berlin, Germany (1998)
96.
Konferenzbeitrag
Brodal, G. S.: Finger Search Trees with Constant Insertion Time. In: Proceedings of the 9th Annual ACM-SIAM Symposium on Discrete Algorithms, S. 540 - 549. 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisko, CA, USA, 25. Januar 1998 - 27. Januar 1998. ACM Press / SIAM, New York, NY (1998)
97.
Konferenzbeitrag
Brodal, G. S.; Katajainen, J.: Worst-Case Efficient External-Memory Priority Queues. In: Proceedings of the 6th Scandinavian Workshop on Algorithm Theory (SWAT-98), S. 107 - 118 (Hg. Arnborg, S.; Ivansson, L.). Untitled Event, Stockholm, Sweden. Springer, Berlin, Germany (1998)
98.
Konferenzbeitrag
Brodal, G. S.; Pinotti, M. C.: Comparator Networks for Binary Heap Construction. In: Proceedings of the 6th Scandinavian Workshop on Algorithm Theory (SWAT-98), S. 158 - 168 (Hg. Arnborg, S.; Ivansson, L.). Untitled Event, Stockholm, Sweden, 1998. Springer, Berlin, Germany (1998)
99.
Konferenzbeitrag
Brönnimann, H.; Burnikel, C.; Pion, S.: Interval analysis yields efficient dynamic filters for computational geometry. In: Proceedings of the 14th International Annual ACM Symposium on Computational Geometry (SCG-98), S. 165 - 174. Untitled Event, Minneapolis, Minnesota, 1998. ACM Press, New York, USA (1998)
100.
Konferenzbeitrag
Burnikel, C.; Funke, S.; Seel, M.: Exact Geometric Predicates using Cascaded Computation. In: Proceedings of the 14th International Annual ACM Symposium on Computational Geometry (SCG-98), S. 175 - 183. Untitled Event, Minneapolis, USA, 1998. ACM Press, New York, USA (1998)
Zur Redakteursansicht