Conference Paper (5376)

8801.
Conference Paper
Kaufmann, M.; Meyer, U.; Sibeyn, J. F.: Towards Practical Permutation Routing on Meshes. In: Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing, pp. 656 - 663. Untitled Event, Dallas, Texas, 1994. IEEE, Los Alamitos, USA (1994)
8802.
Conference Paper
Kaufmann, M.; Sibeyn, J.; Suel, T.: Derandomizing Algorithms for Routing and Sorting on Meshes. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 669 - 679. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)
8803.
Conference Paper
Kavvadias, D.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Hammock-on-ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and other Problems. In: Mathematical Foundations of Computer Science 1994, pp. 462 - 472 (Eds. Prívara, I.; Rovan, B.; Ruzicka, P.). 19th International Symposium on Mathematical Foundations of Computer Science, Kosice, Slovakia, August 22, 1994 - August 26, 1994. Springer, Berlin (1994)
8804.
Conference Paper
Kavvadias, D.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Efficient Sequential and Parallel Algorithms for the Negative Cycle Problem. In: Algorithms and Computation, pp. 270 - 278 (Eds. Du, D.-Z.; Zhang, X.-S.). 5th International Symposium on Algorithms and Computation, Beijing, China, August 25, 1994 - August 27, 1994. Springer, Berlin (1994)
8805.
Conference Paper
Lenhof, H.-P.; Smid, M.: An animation of a fixed-radius all-nearest neighbors algorithm. In: Proceedings of the 10th Symposium on Computational Geometry (SCG94). Untitled Event, Stony Brook, New York, USA, 1994. acm-Press, New York (1994)
8806.
Conference Paper
Madden, P.: Formal Methods for Automated Program Improvement. In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, pp. 367 - 378 (Eds. Nebel, B.; Dreschler-Fischer, L.). Untitled Event, Saarbrücken, Germany, 1994. Springer, Berlin, Germany (1994)
8807.
Conference Paper
Mehlhorn, K.; Näher, S.: The Implementation of Geometric Algorithms. In: Technology and foundations: Information Processing '94 ; proceedings of the IFIP 13th World Computer Congress, pp. 223 - 231. Untitled Event, Hamburg, Germany, August 28, 1994. Elsevier, Amsterdam, The Netherlands (1994)
8808.
Conference Paper
Mehlhorn, K.; Sundar, R.; Uhrig, C.: Maintaining Dynamic Sequences under Equality-tests in Polylogarithmic Time. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 213 - 222. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)
8809.
Conference Paper
Nonnengart, A.: How to Use Modalities and Sorts in Prolog. In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, pp. 365 - 378 (Eds. MacNish, C.; Pearce, D.; Pereira, L. M.). Untitled Event, York, UK, 1994. Springer, Berlin, Germany (1994)
8810.
Conference Paper
Pietracaprina, A.; Pucci, G.; Sibeyn, J.: Constructive Deterministic PRAM Simulation on a Mesh-connected Computer. In: Proceedings of the 6th Symposium on Parallel Algorithms and Architectures, pp. 248 - 256. 6th Annual ACM Symposium on Parallel Algorithms and Architectures, Cape May, NJ, USA, June 27, 1994 - June 29, 1997. ACM, New York, NY (1994)
8811.
Conference Paper
Plaisted, D. A.: The Search Efficiency of Theorem Proving Strategies. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), pp. 57 - 71 (Ed. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)
8812.
Conference Paper
Rüb, C.: Lower Bounds for Merging on the Hypercube. In: Algorithms and Complexity, pp. 213 - 222 (Eds. Bonuccelli, M.; Crescenzi, P.; Petreschi, R.). Second Italian Conference on Algorithms and Complexity, Rome, Italy, February 23, 1994 - February 25, 1994. Springer, Berlin (1994)
8813.
Conference Paper
Schiele, B.; Crowley, J. L.: A Comparison of Position Estimation Techniques Using Occupancy Grids. In: IEEE International Conference on Robotics and Automation, pp. 1628 - 1634. IEEE International Conference on Robotics and Automation, San Diego, CA, USA, May 28, 1994 - May 30, 1994. IEEE, Piscataway, NJ (1994)
8814.
Conference Paper
Schmidt, R. A.: Terminological Logics and Conceptual Graphs: An Historical Perspective. In: KI-94 Workshops, pp. 135 - 136 (Eds. Kunze, J.; Stoyan, H.). 18. Deutsche Jahrestagung für Künstliche Intelligenz : Workshop 6, Vergleich zwischen Termonologischen Repräsentationsformalismen und konzeptuellen Graphen - insbesondere in der Medizin, Saarbrücken, Germany, September 18, 1994 - September 23, 1994. Gesellschaft für Informatik, Bonn, Germany (1994)
8815.
Conference Paper
Schmidt, R. A.: Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract. In: Relational Methods in Computer Science, p. 21‒22 (Eds. Brink, C.; Schmidt, G.). IBFI, Schloß Wadern (1994)
8816.
Conference Paper
Seidel, H.-P.: Simplex Splines, Polar Simplex Splines and Triangular B-Splines. In: Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, pp. 535 - 547 (Ed. Mullineux, G.). 6th IMA Conference on the Mathematics of Surfaces, Brunel University, UK, 1994-09. Clarendon Press, New York, NY (1994)
8817.
Conference Paper
Sibeyn, J.: Deterministic Routing and Sorting on Rings. In: Proceedings of the 8th International Parallel Processing Symposium, pp. 406 - 410 (Ed. Siegel, H. J.). 8th International Parallel Processing Symposium, Cancún, Mexico, April 26, 1994 - April 29, 1994. IEEE, Los Alamitos, CA, USA (1994)
8818.
Conference Paper
Sibeyn, J.: Desnakification of Mesh Sorting Algorithms. In: Algorithms - ESA '94, pp. 377 - 390 (Ed. van Leeuwen, J.). Second Annual European Symposium on Algorithms, Utrecht, The Netherlands, September 26, 1994 - September 28, 1994. Springer, Berlin (1994)
8819.
Conference Paper
Sibeyn, J.; Chlebus, B. S.; Kaufmann, M.: Shorter Queues for Permutation Routing on Meshes. In: Mathematical Foundations of Computer Science 1994, pp. 597 - 607 (Eds. Prívara, I.; Rovan, B.; Ruzicka, P.). 19th International Symposium on Mathematical Foundations of Computer Science, Kosice, Slovakia, August 22, 1994 - August 26, 1994. Springer, Berlin (1994)
8820.
Conference Paper
Sibeyn, J.; Harris, T.: Exploiting Locality in LT-RAM Computations. In: Algorithms Theory - SWAT' 94, pp. 338 - 349 (Ed. Schmidt, E. M.). 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 06, 1994 - July 08, 1994. Springer, Berlin, Germany (1994)
Go to Editor View