Konferenzbeitrag (5401)
8761.
Konferenzbeitrag
Experiences with the Implementation of Geometric Algorithms. In: Algorithms and Data Structures, S. 518 - 518 (Hg. Akl, S. G.; Dehne, F.; Sack, J.-R.; Santoro, N.). 4th International Workshop on Algorithms and Data Structures, Kingston, Canada, 16. August 1995 - 18. August 1995. Springer, Berlin, Germany (1995)
8762.
Konferenzbeitrag
On the All-Pairs Shortest Path Algorithm of Moffat and Takaoka. In: Algorithms - ESA '95, S. 185 - 198. Third Annual European Symposium on Algorithms, Corfu, Greece, 25. September 1995 - 27. September 1995. Springer, Berlin, Germany (1995)
8763.
Konferenzbeitrag
Simulating the Simulator: Deterministic PRAM Simulation on a Mesh Simulator. In: Eurosim '95, S. 285 - 290 (Hg. Breitenecker, F.; Husinsky, I.). 1995 EUROSIM Conference, Vienna, Austria, 11. September 1995 - 15. September 1995. Elsevier, Amsterdam (1995)
8764.
Konferenzbeitrag
A Polyhedral Approach to Planar Augmentation and Related Problems. In: Algorithms - ESA '95, S. 494 - 507 (Hg. Spirakis, P.). 3rd Annual European Symposium on Algorithms, Corfu, Greece, 25. September 1995 - 27. September 1995. Springer, Berlin, Germany (1995)
8765.
Konferenzbeitrag
Splitters and Near-optimal Derandomization. In: Proceedings of the 36th IEEE Annual Symposium on Foundations of Computer Science, S. 182 - 191. 36th IEEE Annual Symposium on Foundations of Computer Science, Milwaukee, WI, USA , 23. Oktober 1995 - 25. Oktober 1995. IEEE explore, Piscataway, NJ (1995)
8766.
Konferenzbeitrag
Symbolic Arithmetical Reasoning with Qualified Number Restrictions. In: Proceedings of International Workshop on Description Logics 1995, S. 89 - 95 (Hg. Borgida, A.; Lenzerini, M.; Nardi, D.; Nebel, B.). International Workshop on Description Logics 1995, Rome, Italy, 02. Juni 1995 - 03. Juni 1995. Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma, Rome (1995)
8767.
Konferenzbeitrag
Wait-Free Consensus in "In-Phase'' Multiprocessor Systems. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, S. 312 - 319. Seventh IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX, USA, 25. Oktober 1995 - 28. Oktober 1995. IEEE, Los Alamitos (1995)
8768.
Konferenzbeitrag
Situated Simplification. In: Principles and Practice of Constraint Programming - CP '95, S. 328 - 344 (Hg. Montanari, U.; Rossi, F.). First International Conference on Principles and Practice of Constraint Programming, Cassis, France, 19. September 1995 - 22. September 1995. Springer, Berlin, Germany (1995)
8769.
Konferenzbeitrag
Situated Simplification. In: Logic Programming, S. 826 (Hg. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, 13. Juni 1995 - 16. Juni 1995. MIT Press, Cambridge, MA, USA (1995)
8770.
Konferenzbeitrag
Operational Semantics of Constraint Logic Programs with Coroutining. In: Logic Programming, S. 449 - 463 (Hg. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, 13. Juni 1995 - 16. Juni 1995. MIT Press, Cambridge, MA, USA (1995)
8771.
Konferenzbeitrag
On the Average Running Time of Odd-Even Merge Sort. In: STACS 95, S. 491 - 501 (Hg. Mayr, E. W.; Puech, C.). 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, 02. März 1995 - 04. März 1995. Springer, Berlin (1995)
8772.
Konferenzbeitrag
Object Recognition Using Multidimensional Receptive Field Histograms and its Robustness to View Point Changes. In: Presented at 1995 Rosenon Workshop on Computational Vision. (1995)
8773.
Konferenzbeitrag
Estimation of the Head Orientation Based on a Face‐Color‐Intensifier. In: 3rd International Symposium on Intelligent Robotic Systems, S. 339 - 346. 3rd International Symposium on Intelligent Robotic Systems. (1995)
8774.
Konferenzbeitrag
Gaze Tracking Based on Face‐Color. In: Proceedings of the International Workshop on Automatic Face- and Gesture-Recognition, S. 344 - 349 (Hg. Bichsel, M.). International Workshop on Automatic Face- and Gesture-Recognition, Zurich, Switzerland, 26. Juni 1995 - 28. Juni 1995. University of Zurich Department of Computer Science Multimedia Laboratory, Zurich (1995)
8775.
Konferenzbeitrag
Efficient Collision Detection for Moving Polyhedra. In: 11th Annual ACM Symposium on Computational Geometry (SCG95), S. 51 - 60. Untitled Event, Vancouver, British Columbia, Canada, 1995. acm-Press, New York (1995)
8776.
Konferenzbeitrag
Triangular B-Splines. In: Graphics and Robotics, S. 149 - 162 (Hg. Straßer, W.; Wahl, F. M.). International Workshop on Graphics and Robotics, Schloss Dagstuhl, FRG, 19. April 1993 - 22. April 1993. Springer, Berlin (1995)
8777.
Konferenzbeitrag
Sample Sort on Meshes. In: Proceedings of Computing Science in the Netherlands, SION, S. 217 - 228. Untitled Event, -, 1995. -, - (1995)
8778.
Konferenzbeitrag
Smart Links and Efficient Reconstruction for Wavelet Radiosity. In: Rendering Techniques ’95, S. 240 - 251 (Hg. Hanrahan, P.; Purgathofer, W.). Eurographics Workshop on Rendering Techniques, Dublin, Ireland, 12. Juni 1995 - 14. Juni 1995. Springer, Berlin (1995)
8779.
Konferenzbeitrag
Object-Oriented Design for Image Synthesis. In: Programming Paradigms in Graphics, S. 23 - 34 (Hg. Veltkamp, R. C.; Blake, E. H.). Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, The Netherlands, 02. September 1995 - 03. September 1995. Springer, Berlin (1995)
8780.
Konferenzbeitrag
Fa with Recursive Types: "Types-as-Propositions" Interpretations in M. Rabin's S2S. In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs, S. 49 - 73. Journées Francophones des Langages Applicatifs 1995, Bois d'Amont, France, 1995. INRIA, Rocquencourt, France (1995)