Konferenzbeitrag (5393)

7601.
Konferenzbeitrag
Abadi, M.; Blanchet, B.; Fournet, C.: Just Fast Keying in the Pi Calculus. In: Programming Languages and Systems: 13th European Symposium on Programming (ESOP 2004), S. 340 - 354 (Hg. Schmidt, D.). Untitled Event, Barcelona, Spain, 29. März 2004 - 02. April 2004. Springer, Berlin, Germany (2004)
7602.
Konferenzbeitrag
Aggarwal, V.; Bender, S.; Feldmann, A.; Wichmann, A.: Methodology for Estimating Network Distances of Gnutella Neighbors. In: Informatik 2004, S. 219 - 223 (Hg. Dadam, P.; Reichert, M.). 34. Jahrestagung der Gesellschaft für Informatik e.V, Ulm, Germany, 20. September 2004 - 24. September 2004. GI, Bonn (2004)
7603.
Konferenzbeitrag
Ahn, M.; Lee, S.; Seidel, H.-P.: Connectivity Transformation for Mesh Metamorphosis. In: Proceedings of the 2004 Eurographics Symposium on Geometry Processing, S. 77 - 84 (Hg. Scopigno, R.; Zorin, D.; Fellner, D.; Spencer, S.). 2004 Eurographics Symposium on Geometry Processing, Nice, France, 08. Juli 2004 - 10. Juli 2004. The Eurographics Association, Aire-la-Ville, Switzerland (2004)
7604.
Konferenzbeitrag
Ahrenberg, L.; Ihrke, I.; Magnor, M.: A Mobile System for Multi-Video Recording. In: 1st European Conference on Visual Media Production (CVMP), S. 127 - 132. Untitled Event, Savoy Place, London, UK, 15. März 2004. Institution of Electrical Engineers, London, UK (2004)
7605.
Konferenzbeitrag
Althaus, E.; Eisenbrand, F.; Funke, S.; Mehlhorn, K.: Point Containment in the Integer Hull of a Polyhedron. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), S. 929 - 933. Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, USA, 11. Januar 2004. ACM, New York, NY (2004)
7606.
Konferenzbeitrag
Althaus, E.; Karamanis, N.; Koller, A.: Computing Locally Coherent Discourses. In: Proceedings of the conference and workshops, 42nd annual meeting of the Association for Computational Linguistics, S. 399 - 406. Untitled Event, Barcelona, Spain, 21. Juli 2004. ACL, East Stroudsburg, USA (2004)
7607.
Konferenzbeitrag
Annen, T.; Kautz, J.; Durand, F.; Seidel, H.-P.: Spherical Harmonic Gradients for Mid-Range Illumination. In: Rendering Techniques 2004, S. 331 - 336 (Hg. Keller, A.; Jensen, H.). 15th Eurographics Symposium on Rendering Techniques, Norrköping, Sweden, 21. Juni 2004 - 23. Juni 2004. The Eurographics Association, Aire-la-Ville, Switzerland (2004)
7608.
Konferenzbeitrag
Annen, T.; Kautz, J.; Durand, F.; Seidel, H.-P.: Spherical Harmonic Gradients. In: ACM SIGGRAPH 2004 Sketches, S. 110 (Hg. Barzel, R.). 2004 International Conference on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 08. August 2004 - 12. August 2004. ACM, New York, NY (2004)
7609.
Konferenzbeitrag
Antifakos, S.; Michahelles, F.; Schiele, B.: Towards Situation‐Aware Affordances: An Experimental Study. In: Advances in Pervasive Computing, S. 235 - 240 (Hg. Ferscha, A.). Second International Conference on Pervasive Computing, Linz/Vienna, Austria, 18. April 2004 - 23. April 2004. Österreichische Computer Gesellsch., Wien (2004)
7610.
Konferenzbeitrag
Antifakos, S.; Schwaninger, A.; Schiele, B.: Evaluating the Effects of Displaying Uncertainty in Context‐aware Applications. In: UbiComp 2004: Ubiquitous Computing, S. 54 - 69 (Hg. Davies, N.; Mynatt, E.; Siio, I.). Sixth International Conference on Ubiquitous Computing, Nottingham, UK, 07. September 2004 - 10. September 2004. Springer, Berlin (2004)
7611.
Konferenzbeitrag
Aranov, B.; Asano, T.; Katoh, N.; Mehlhorn, K.; Tokuyama, T.: Polyline Fitting of Planar Points Under Min-sum Criteria. In: Algorithms and Computation: 15th International Symposium, ISAAC 2004, S. 77 - 88. Untitled Event, HongKong, China, 20. Dezember 2004. Springer, Berlin, Germany (2004)
7612.
Konferenzbeitrag
Arge, L.; Meyer, U.; Toma, L.: External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs. In: Automata, languages and programming: 31st International Colloquium, ICALP 2004, S. 146 - 157. Untitled Event, Turku, Finland, 12. Juli 2004. Springer, Berlin, Germany (2004)
7613.
Konferenzbeitrag
Bast, H.: Dimension Reduction: A Powerful Principle for Automatically Finding Concepts in Unstructured Data. In: International Workshop on Self-Star Properties in Complex Information Systems, S. 113 - 116 (Hg. Babaoglu, O.; Jelasity, M.; Montresor, A.; van Steen, M.; van Moorsel, A. et al.). International Workshop on Self-Star Properties in Complex Information Systems, Bertinoro, Italy, 31. Mai 2004 - 02. Juni 2004. University of Bologna, Bertinoro, Italy (2004)
7614.
Konferenzbeitrag
Bast, H.; Mehlhorn, K.; Schäfer, G.; Tamaki, H.: Matching Algorithms Are Fast in Sparse Random Graphs. In: 21st Annual Symposium on Theoretical Aspects of Computer Science (STACS-04), S. 81 - 92. Untitled Event, Montpellier, France, 25. März 2004. Springer, Berlin, Germany (2004)
7615.
Konferenzbeitrag
Baswana, S.; Sen, S.: Approximate distance oracle for unweighted graphs in Õ(n²) time. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), S. 271 - 280. Untitled Event, New Orleans, USA, 11. Januar 2004. ACM, New York, USA (2004)
7616.
Konferenzbeitrag
Baumann, N.; Köhler, E.: Approximating Earliest Arrival Flows with Flow-Dependent Transit Times. In: Mathematical foundations of computer science 2004: 29th International Symposium, MFCS 2004, S. 599 - 610. Untitled Event, Prague, Czech Republic, 22. August 2004. Springer, Berlin, Germany (2004)
7617.
Konferenzbeitrag
Baumgartner, P.; Burchardt, A.: Logic Programming Infrastructure for Inferences on FrameNet. In: Logics in artificial intelligence: 9th European Conference, JELIA 2004, S. 591 - 603. Untitled Event, Lisbon, Portugal, 27. September 2004. Springer, Berlin (2004)
7618.
Konferenzbeitrag
Baumgartner, P.; Fuchs, A.; Tinelli, C.: Darwin: A Theorem Prover for the Model Evolution Calculus. In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), S. 1 - 24. Untitled Event, Cork, Ireland, 03. Juli 2004. UCC, Cork, Ireland (2004)
7619.
Konferenzbeitrag
Baumgartner, P.; Furbach, U.; Gross-Hardt, M.; Kleemann, T.: Model Based Deduction for Database Schema Reasoning. In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, S. 168 - 182. Untitled Event, Ulm, Germany, 20. September 2004. Springer, Berlin, Germany (2004)
7620.
Konferenzbeitrag
Baumgartner, P.; Mediratta, A.: Improving Stable Models Based Planning by Bidirectional Search. In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), S. 404 - 413. Untitled Event, Hyderabad, India, 19. Dezember 2004. ALLIED, New Delhi (2004)
Zur Redakteursansicht