Conference Paper (5393)

8581.
Conference Paper
Ramos, E. A.: Construction of 1-d lower envelopes and applications. In: Proceedings of the 13th International Annual Symposium on Computational Geometry (SCG-97), pp. 57 - 66. Untitled Event, Nice, France, 1997. ACM Press, New York, USA (1997)
8582.
Conference Paper
Reinert, K.; Lenhof, H.-P.; Mehlhorn, K.; Mutzel, P.; Kececioglu, J.: A Branch-And-Cut Algorithm for Multiple Sequence Alignment. In: RECOMB'97, pp. 241 - 250. First Annual International Conference on Computational Molecular Biology , Santa Fe, NM, USA, January 20, 1997 - January 23, 1997. ACM, New York, NY (1997)
8583.
Conference Paper
Schiele, B.: Object Classification Based on Visual Classes. In: Mustererkennung 1997, pp. 403 - 410 (Eds. Paulus, E.; Wahl, F. M.). 19. DAGM-Symposium, Braunschweig, Germany, September 15, 1997 - September 17, 1997. Springer, Berlin (1997)
8584.
Conference Paper
Schiele, B.; Crowley, J. L.: The Concept of Visual Classes for Object Classification. In: Proceedings of the 10th Scandinavian Conference on Image Analysis. 10th Scandinavian Conference on Image Analysis, Lappenranta, Finland, June 09, 1997 - June 11, 1997. Pattern Recognition Society of Finland, Lappeenránta (1997)
8585.
Conference Paper
Schiele, B.; Crowley, J. L.; Wallner, F.: Principal Component Analysis for Mobile Robot Positioning. In: 5th International Symposium on Intelligent Robotic Systems. (1997)
8586.
Conference Paper
Schwerdt, J.; Smid, M.; Schirra, S.: Computing the Minimum Diameter for Moving Points: An Exact Implementation using Parametric Search. In: Proceedings of the 13th Annual Symposium on Computational Geometry, pp. 466 - 468. 13th Annual Symposium on Computational Geometry, Nice, France, June 04, 1997 - June 06, 1997. ACM, New York, NY (1997)
8587.
Conference Paper
Sibeyn, J. F.: Better Trade-offs for Parallel List Ranking. In: Proceedings of the 9th Symposium on Parallel Algorithms and Architectures, pp. 221 - 230. 9th Annual ACM Symposium on Parallel Algorithms and Architectures, Newport, RI, USA, June 22, 1997 - June 25, 1997. ACM, New York, NY (1997)
8588.
Conference Paper
Sibeyn, J.: Routing with Finite Speeds of Memory and Network. In: Mathematical Foundations of Computer Science 1997, pp. 488 - 497 (Eds. Prívara, I.; Ruzicka, P.). 22nd International Symposium on the Mathematical Foundations of Computer Science, Bratislava, Slovakia, August 25, 1997 - August 29, 1997. Springer, Berlin (1997)
8589.
Conference Paper
Sibeyn, J.: Sample Sort on Meshes. In: Euro-Par'97 Parallel Processing, pp. 389 - 398 (Eds. Lengauer, C.; Griebl, M.; Gorlatch, S.). 3rd International Euro-Par Conference on Parallel Processing, Passau, Germany, August 26, 1997 - August 29, 1997. Springer, Berlin (1997)
8590.
Conference Paper
Sibeyn, J. F.; Guillaume, F.; Seidel, T.: Practical Parallel List Ranking. In: Solving Irregularly Structured Problems in Parallel, pp. 25 - 36 (Eds. Bilardi, G.; Ferreira, A.; Lüling, R.; Rolim, J.). 4th International Symposium on Solving Irregularly Structured Problems in Parallel, Paderborn, Germany, June 12, 1997 - June 13, 1997. Springer, Berlin (1997)
8591.
Conference Paper
Sibeyn, J.; Kaufmann, M.: BSP-like External-memory Computation. In: Algorithms and Complexity, pp. 229 - 240 (Eds. Bongiovanni, G.; Bovet, D. P.; Di Battista, G.). 3rd Italian Conference on Algorithms and Complexity, Rome, Italy, March 12, 1997 - March 14, 1997. Springer, Berlin (1997)
8592.
Conference Paper
Slusallek, P.; Stamminger, M.; Heidrich, W.; Popp, J.-C.; Seidel, H.-P.: Composite Lighting Simulations with Lighting Networks. In: The art and interdisciplinary programs of SIGGRAPH '97, p. 157 (Eds. Pocock, L.; Hopkins, R.; Ebert, D. S.; Crow, J.). The 24th International Conference on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, August 03, 1997 - August 08, 1997. ACM, New York, NY (1997)
8593.
Conference Paper
Slusallek, P.; Stamminger, M.; Seidel, H.-P.: Hierarchical Techniques for Global Illumination Computations - Recent Trends and Developments. In: Proceedings of the 5th Pacific Conference on Computer Graphics and Applications, pp. 80 - 89. 5th Pacific Conference on Computer Graphics and Applications, Seoul, South Korea, October 13, 1997 - October 16, 1997. IEEE explore, Piscataway, NJ (1997)
8594.
Conference Paper
Struth, G.: On the Word Problem for Free Lattices. In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), pp. 128 - 141 (Ed. Comon, H.). Untitled Event, Sitges, Spain, 1997. Springer, Berlin, Germany (1997)
8595.
Conference Paper
Stuber, J.: Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving. In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), pp. 125 - 129 (Eds. Bonacina, M. P.; Furbach, U.). Untitled Event, Schloss Hagenberg by Linz, Austria, 1997. Johannes Kepler Universität, Linz, Austria (1997)
8596.
Conference Paper
van der Torre, L. W. N.; Tan, Y.-H.: Distinguishing different roles in normative reasoning. In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), pp. 225 - 232. Untitled Event, Melbourne, Australia, 1997. ACM, New York, USA (1997)
8597.
Conference Paper
van der Torre, L. W. N.; Tan, Y.-H.: Reasoning about exceptions. In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, pp. 405 - 408 (Eds. Brewka, G.; Habel, C.; Nebel, B.). Untitled Event, Freiburg, 1997. Springer, Berlin, Germany (1997)
8598.
Conference Paper
Vorobyov, S.: The First-order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable. In: Rewriting Techniques and Applications, pp. 254 - 268 (Ed. Comon, H.). 8th International Conference on Rewriting Techniques and Applications, Sitges, Spain, June 02, 1997 - June 05, 1997. Springer, Berlin, Germany (1997)
8599.
Conference Paper
Vorobyov, S.: The `hardest´ natural decidable theory. In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), pp. 294 - 305 (Ed. Winskel, G.). Untitled Event, Warsaw, Poland, July 08, 2003 - July 12, 2003. IEEE, New York, USA (1997)
8600.
Conference Paper
Waldmann, U.: A Superposition Calculus for Divisible Torsion-Free Abelian Groups. In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), pp. 130 - 134 (Eds. Bonacina, M. P.; Furbach, U.). Untitled Event, Linz, Austria, 1997. Johannes Kepler Universität, Linz, Austria (1997)
Go to Editor View