Conference Paper (5393)

7821.
Conference Paper
Dhiflaoui, M.; Funke, S.; Kwappik, C.; Mehlhorn, K.; Seel, M.; Schömer, E.; Schulte, R.; Weber, D.: Certifying and Repairing Solutions to Large LPs - How Good are LP-Solvers? In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), pp. 255 - 256. SODA 2003, Baltimore, USA, January 12, 2003 - January 14, 2003. ACM, New York, USA (2003)
7822.
Conference Paper
Dodgson, N.; Ivrissimtzis, I.; Sabin, M.: Characteristics of dual-sqrt(3) subdivision schemes. In: Curve and Surface Fitting: Saint-Malo 2002, pp. 119 - 128. Curve and Surface Fitting 2002, St Malo, France, June 27, 2002. Nashboro Press, Brentwood, USA (2003)
7823.
Conference Paper
Drago, F.; Martens, W.; Myszkowski, K.; Chiba, N.: Design of a Tone Mapping Operator for High Dynamic Range Images Based upon Psychophysical Evaluation and Preference Mapping. In: Human Vision and Electronic Imaging VIII (HVEI-03), pp. 321 - 331. HVEI 2003, Santa Clara, USA, January 21, 2003 - January 23, 2003. SPIE, Bellinghan, USA (2003)
7824.
Conference Paper
Drago, F.; Martens, W. L.; Myszkowski, K.; Seidel, H.-P.: Perceptual Evaluation of Tone Mapping Operators. In: Proceedings of the ACM SIGGRAPH 2003 Conference on Sketches and Applications, p. 1 - 1 (Ed. Rockwood, A. P.). ACM SIGGRAPH 2003 Conference on Sketches and Applications, San Diego, CA, USA, July 27, 2003 - July 31, 2003. ACM, New York, NY (2003)
7825.
Conference Paper
Drago, F.; Myszkowski, K.; Annen, T.; Chiba, N.: Adaptive Logarithmic Mapping For Displaying High Contrast Scenes. In: EUROGRAPHICS 2003 (EUROGRAPHICS-03): the European Association for Computer Graphics, 24th Annual Conference, pp. 419 - 426. EUROGRAPHICS 2003, Granada, Spain, September 01, 2003 - September 05, 2003. Blackwell, Oxford, UK (2003)
7826.
Conference Paper
Eisenbrand, F.: Fast Integer Programming in Fixed Dimension. In: Algorithms - ESA 2003, pp. 196 - 207. 11th Annual European Symposium on Algorithms, Budapest, Hungary, September 16, 2003 - September 19, 2003. Springer, Berlin (2003)
7827.
Conference Paper
Eisenbrand, F.; Funke, S.; Garg, N.; Könemann, J.: A Combinatorial Algorithm for Computing a Maximum Independent Set in a t-perfect Graph. In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), pp. 517 - 522. 14th Annual ACM-SIAM Symposium on Discrete Algorithms , Baltimore, MD, USA, January 12, 2003 - January 14, 2003. ACM, New York, NY (2003)
7828.
Conference Paper
Eisenbrand, F.; Funke, S.; Reichel, J.; Schömer, E.: Packing a Trunk. In: Algorithms - ESA 2003, pp. 618 - 629. 11th Annual European Symposium on Algorithms, Budapest, Hungary, September 16, 2003 - September 19, 2003. Springer, Berlin (2003)
7829.
Conference Paper
Eisenbrand, F.; Laue, S.: A Faster Algorithm for Two-variable Integer Programming. In: Algorithms and Computation, pp. 290 - 299. 14th International Symposium on Algorithms and Computation, Kyoto, Japan, December 15, 2003 - December 17, 2003. Springer, Berlin (2003)
7830.
Conference Paper
Elbassioni, K. M.; Elmasry, A.; Kamel, I.: An Efficient Indexing Scheme for Multi-dimensional Moving Objects. In: Database Theory - ICDT 2003, pp. 425 - 439. 9th International Conference on Database Theory, Siena, Italy, January 08, 2003 - January 12, 2003. Springer, Berlin (2003)
7831.
Conference Paper
Fleischer, L.; Skutella, M.: Minimum Cost Flows Over Time without Intermediate Storage. In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), pp. 66 - 75. Untitled Event, Baltimore, USA, January 12, 2003. ACM, New York, USA (2003)
7832.
Conference Paper
Fotakis, D.: On the Competitive Ratio for Online Facility Location. In: Automata, languages and programming: 30th International Colloquium, ICALP 2003, pp. 637 - 652. ICALP 2003, Eindhoven, The Netherlands, June 30, 2003 - July 04, 2003. Springer, Berlin, Germany (2003)
7833.
Conference Paper
Fotakis, D.; Pagh, R.; Sanders, P.; Spirakis, P. G.: Space Efficient Hash Tables with Worst Case Constant Access Time. In: Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2003), pp. 271 - 282. STACS 2003, Berlin, Germany, February 27, 2003 - March 01, 2003. Springer, Berlin, Germany (2003)
7834.
Conference Paper
Funke, S.; Matijevic, D.; Sanders, P.: Approximating Energy Efficient Paths in Wireless Multi-hop Networks. In: Algorithms - ESA 2003: 11th Annual European Symposium, pp. 230 - 241. ESA 2003, Budapest, Hungary, September 16, 2003 - September 19, 2003. Springer, Berlin, Germany (2003)
7835.
Conference Paper
Gaillourdet, J.-M.; Hillenbrand, T.; Löchner, B.; Spies, H.: The New WALDMEISTER Loop at Work. In: Automated deduction, CADE-19: 19th International Conference on Automated Deduction, pp. 317 - 321. CADE 2003, Miami, Florida, July 28, 2003 - August 02, 2003. Springer, Berlin, Germany (2003)
7836.
Conference Paper
Ganzinger, H.; Hillenbrand, T.; Waldmann, U.: Superposition modulo a Shostak Theory. In: Automated Deduction, CADE-19: 19th International Conference on Automated Deduction, pp. 182 - 196. CADE 2003, Miami, Florida, July 28, 2003 - August 02, 2003. Springer, Berlin, Germany (2003)
7837.
Conference Paper
Ganzinger, H.; Korovin, K.: New Directions in Instantiation-Based Theorem Proving. In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), pp. 55 - 64. LICS 2003, Ottawa, Canada, June 22, 2003 - June 25, 2003. IEEE, Los Alamitos, USA (2003)
7838.
Conference Paper
Ganzinger, H.; Stuber, J.: Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation. In: Automated Deduction, CADE-19: 19th International Conference on Automated Deduction, pp. 335 - 349. CADE 2003, Miami, Florida, July 28, 2003 - August 02, 2003. Springer, Berlin, Germany (2003)
7839.
Conference Paper
Georgiou, C.; Kowalski, D. R.; Shvartsman, A.: Efficient Gossip and Robust Distributed Computation. In: Distributed Computing,, pp. 224 - 238 (Ed. Fich, F.). DISC 2003, Sorrento, Italy, October 01, 2003 - October 03, 2003. Springer, Berlin (2003)
7840.
Conference Paper
Goesele, M.; Fuchs, C.; Seidel, H.-P.: Accuracy of 3D Range Scanners by Measurement of the Slanted Edge Modulation Transfer Function. In: Proceedings of the 4th International Conference on 3D Digital Imaging and Modeling, pp. 37 - 44 (Eds. Rioux, M.; Godin, G.; Boulanger, P.). 4th International Conference on 3D Digital Imaging and Modeling, Banff, Canada, October 06, 2003 - October 10, 2003. IEEE, Los Alamitos, USA (2003)
Go to Editor View