Conference Paper (5393)

8421.
Conference Paper
Weydert, E.: JZBR - Iterated Belief Change for Conditional Ranking Constraints. In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), pp. 57 - 66 (Eds. Rott, H.; Albert, C.; Brewka, G.; Witteveen, C.). Untitled Event, Amsterdam, The Netherlands, 1999. ILLC Scientific Publications, Amsterdam, The Netherlands (1999)
8422.
Conference Paper
Weydert, E.; van der Torre, L. W. N.: Risk parameters for utilitarian desires. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, pp. 48 - 54 (Ed. Bell, J.). Untitled Event, Stockholm, Sweden, April 23, 2003 - April 27, 2003. IJCAI, Stockholm, Sweden (1999)
8423.
Conference Paper
Zeilfelder, F.; Davydov, O.; Nürnberger, G.: Interpolation by splines on triangulations. In: New Developments in Approximation Theory. 2nd International Dortmund Meeting (IDoMAT) ’98, pp. 49 - 70 (Eds. Müller, M. W.; Buhmann, M. D.; Mache, D. H.; Felten, M.). Untitled Event, Witten, Germany, 1999. Birkhäuser, Basel, Switzerland (1999)
8424.
Conference Paper
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), pp. 18 - 34 (Eds. Nielsen, M.; Thomas, W.). Untitled Event, Aarhus, Denmark, 1998. Springer, Berlin, Germany (1998)
8425.
Conference Paper
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), pp. 71 - 80. Untitled Event, Palo Alto, USA, November 08, 1998 - November 11, 1998. IEEE, Los Alamitos, USA (1998)
8426.
Conference Paper
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), pp. 454 - 462. Untitled Event, Dallas, USA, 1998. ACM Press, New York, USA (1998)
8427.
Conference Paper
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, pp. 290 - 299. 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, USA, January 25, 1998 - January 27, 1998. ACM Press / SIAM, New York, NY (1998)
8428.
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)
8429.
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)
8430.
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)
8431.
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)
8432.
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)
8433.
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)
8434.
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)
8435.
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)
8436.
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)
8437.
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)
8438.
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)
8439.
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)
8440.
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)
Go to Editor View