Conference Paper (5376)

8401.
Conference Paper
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), pp. 129 - 136 (Eds. Battiti, R.; Bertosi, A.). Untitled Event, Trento, Italy. University of Trento, Trento, Italy (1998)
8402.
Conference Paper
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), pp. 1104 - 1113 (Eds. Pritchard, D.; Reeve, J.). Untitled Event, Southhampton, UK, 1998. Springer, Berlin, Germany (1998)
8403.
Conference Paper
Aoki, H.; Schiele, B.; Pentland, A.: Recognizing Personal Location from Video. In: Workshop on Perceptual User Interfaces, pp. 79 - 82 (Ed. Turk, M.). Workshop on Perceptual User Interfaces, San Francisco, CA, USA, November 05, 1998 - November 06, 1998. ACM, New York, NY (1998)
8404.
Conference Paper
Bachmair, L.; Ganzinger, H.: Strict Basic Superposition. In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), pp. 160 - 174 (Eds. Kirchner, C.; Kirchner, H.). Untitled Event, Lindau, Germany, 1998. Springer, Berlin, Germany (1998)
8405.
Conference Paper
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), pp. 175 - 190 (Eds. Kirchner, C.; Kirchner, H.). Untitled Event, Lindau, Germany, 1998. Springer, Berlin, Germany (1998)
8406.
Conference Paper
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, pp. 293 - 307 (Eds. Ginzburg, J.; Khasidashvili, Z.; Vogel, C.; Levy, J.-J.; Vallduvi, E.). Untitled Event, Tbilisi, Georgia. CSLI, Stanford, USA (1998)
8407.
Conference Paper
Bast, H.: Dynamic Scheduling with Incomplete Information. In: Proceedings of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA-98), pp. 182 - 191. Untitled Event, Puerto Vallarta, Mexico, 1998. ACM Press, New York, USA (1998)
8408.
Conference Paper
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), pp. 124 - 136 (Eds. Hromkovic, J.; Sykora, O.). Untitled Event, Smolenice, 1998. Springer, Berlin, Germany (1998)
8409.
Conference Paper
Bockmayr, A.; Dimopoulos, Y.: Mixed Integer Programming Models for Planning Problems. In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), pp. 1 - 6 (Eds. Frank, J.; Sabin, M.). Untitled Event, Pisa, Italy, October 11, 2006. NASA Ames Research Center, Moffett Field, USA (1998)
8410.
Conference Paper
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), pp. 43 - 54 (Eds. Bilardi, G.; Italiano, G. F.; Pietracaprina, A.; Pucci, G.). Untitled Event, Venice, Italy. Springer, Berlin, Germany (1998)
8411.
Conference Paper
Brodal, G. S.: Finger Search Trees with Constant Insertion Time. In: Proceedings of the 9th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 540 - 549. 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisko, CA, USA, January 25, 1998 - January 27, 1998. ACM Press / SIAM, New York, NY (1998)
8412.
Conference Paper
Brodal, G. S.; Katajainen, J.: Worst-Case Efficient External-Memory Priority Queues. In: Proceedings of the 6th Scandinavian Workshop on Algorithm Theory (SWAT-98), pp. 107 - 118 (Eds. Arnborg, S.; Ivansson, L.). Untitled Event, Stockholm, Sweden. Springer, Berlin, Germany (1998)
8413.
Conference Paper
Brodal, G. S.; Pinotti, M. C.: Comparator Networks for Binary Heap Construction. In: Proceedings of the 6th Scandinavian Workshop on Algorithm Theory (SWAT-98), pp. 158 - 168 (Eds. Arnborg, S.; Ivansson, L.). Untitled Event, Stockholm, Sweden, 1998. Springer, Berlin, Germany (1998)
8414.
Conference Paper
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), pp. 165 - 174. Untitled Event, Minneapolis, Minnesota, 1998. ACM Press, New York, USA (1998)
8415.
Conference Paper
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), pp. 175 - 183. Untitled Event, Minneapolis, USA, 1998. ACM Press, New York, USA (1998)
8416.
Conference Paper
Charatonik, W.; McAllester, D.; Niwinski, D.; Podelski, A.; Walukiewicz, I.: The Horn Mu-calculus. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), pp. 58 - 69 (Ed. Pratt, V.). Untitled Event, Indianapolis, Indiana, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1998)
8417.
Conference Paper
Charatonik, W.; Podelski, A.: Co-definite Set Constraints. In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), pp. 211 - 225 (Ed. Nipkow, T.). Untitled Event, Tsukuba, Japan, 1998. Springer, Berlin, Germany (1998)
8418.
Conference Paper
Charatonik, W.; Podelski, A.: Directional Type Inference for Logic Programs. In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), pp. 278 - 294 (Ed. Levi, G.). Untitled Event, Pisa, Italy, 1998. Springer, Berlin, Germany (1998)
8419.
Conference Paper
Charatonik, W.; Podelski, A.: Set-Based Analysis of Reactive Infinite-state Systems. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), pp. 358 - 375 (Ed. Steffen, B.). Untitled Event, Lisbon, Portugal, 1998. Springer, Berlin, Germany (1998)
8420.
Conference Paper
Chaudhuri, S.; Subrahmanyam, K. V.; Wagner, F.; Zaroliagis, C.: Computing Mimicking Networks. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP-98), pp. 556 - 567 (Eds. Larsen, K. G.; Skyum, S.; Winskel, G.). Untitled Event, Aalborg, Denmark, 1998. Springer, Berlin, Germany (1998)
Go to Editor View