Conference Paper (108)
181.
Conference Paper
Integrating Snapshot Isolation Into Transactional Federations. In: 5th IFCIS International Conference on Cooperative Information Systems (CoopIS 2000), pp. 90 - 101 (Eds. Etzion, O.; Scheuermann, P.). CoopIS 2000, Eilat, Israel, September 06, 2000 - September 08, 2000. Springer, Berlin (2000)
182.
Conference Paper
Taming the Tiger: How to Cope with Real Database Products in Transactional Federations for Internet Applications. In: GI-Workshop "Internet-Datenbanken", pp. 13 - 29 (Eds. Saake, G.; Sattler, K.-U.). GI-Workshop "Internet-Datenbanken", Berlin, Germany, September 19, 2000. Otto-von-Guericke-Universität, Magdeburg (2000)
183.
Conference Paper
Towards Automatic Extraction and Modeling of Objects from Image Sequences. In: 8th International Symposium on Intelligent Robotic Systems, pp. 305 - 310. (2000)
184.
Conference Paper
Model-free Tracking of Cars and People based on Color Regions. In: First IEEE International Workshop on Performance Evaluation of Tracking and Surveillance, pp. 64 - 71. First IEEE International Workshop on Performance Evaluation of
Tracking and Surveillance, Grenoble, France, March 31, 2000. IEEE, Piscataway, NJ (2000)
185.
Conference Paper
Using Mutual Information To Combine Object Models. In: 8th International Symposium on Intelligent Robotic Systems, pp. 311 - 316. (2000)
186.
Conference Paper
Vocabulary-supported Image Retrieval. In: Proceedings of the First DELOS Network of Excellence Workshop on “Information Seeking, Searching and Querying in Digital Libraries”, pp. 47 - 52. First DELOS Network of Excellence Workshop on Information Seeking, Searching and Querying in Digital Libraries, Zürich, Switzerland, December 11, 2000 - December 12, 2000. GEIE ERCIM, Biot (2000)
187.
Conference Paper
tmk - a Multi-Site, Multi-Platform System for Software Development. In: Proc. First European Tcl/Tk User Meeting (Ed. Zerbst, C.). Untitled Event, Technische Universität Hamburg-Harburg, 2000. Technische Universität Hamburg-Harburg, Hamburg (2000)
188.
Conference Paper
High-Quality Interactive Lumigraph Rendering Through Warping. In: Proceedings of the Graphics Interface 2000 Conference, pp. 87 - 94 (Eds. Fels, S.; Poulin, P.). Graphics Interface 2000, Montreal, Canada, May 15, 2000 - May 17, 2000. Canadian Information Processing Society, Toronto, Canada (2000)
189.
Conference Paper
Discrete Fairing of Curves and Surfaces based on Linear Curvature Distribution. In: Curve and Surface Design, Saint-Malo 1999, pp. 371 - 380 (Eds. Laurent, P.-J.; Sablonniere, P.; Schumaker, L. L.). Untitled Event, Saint-Malo, France, July 01, 1999 - July 08, 1999. Vanderbilt University Press, Nashville, USA (2000)
190.
Conference Paper
Generating Fair Meshes with $G^1$ Boundary Conditions. In: Proceedings of Geometric Modeling and Processing 2000 (GMP-00), pp. 251 - 261 (Eds. Martin, R.; Wang, W.). Untitled Event, Hongkong, China, April 10, 2000 - April 12, 2000. IEEE, Los Alamitos, USA (2000)
191.
Conference Paper
A B-spline approach to Hermite subdivision. In: Curve and surface fitting, Saint-Malo 1999, pp. 385 - 392 (Eds. Cohen, A.; Rabut, C.; Schumaker, L. L.). Untitled Event, Saint-Malo, July 01, 1999 - July 08, 1999. Vanderbilt University, Nashville, USA (2000)
192.
Conference Paper
Efficient Processing of Large 3D Meshes. In: Proceedings of the 8th Pacific Conference on Computer Graphics and Applications, p. 224 - 224. 8th Pacific Conference on Computer Graphics and Applications, Hong Kong, China , October 05, 2000. IEEE explore, Piscataway, NJ (2000)
193.
Conference Paper
On unification for bounded distributive lattices. In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), pp. 465 - 481 (Ed. McAllester, D.). Untitled Event, Pittsburgh, Pennsylvania, USA, 2000. Springer, Berlin, Germany (2000)
194.
Conference Paper
Resolution-based theorem proving for SHn-logics. In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), pp. 268 - 282. Untitled Event, Vienna, Austria, October 11, 2006. Springer, Berlin, Germany (2000)
195.
Conference Paper
Hierarchical Instantiation for Radiosity. In: Rendering Techniques 2000, Proceedings of the 11th Eurographics Workshop on Rendering, pp. 173 - 184 (Eds. Péroche, B.; Rushmeier, H.). Untitled Event, Brno, Czech Republic, June 26, 2000 - June 28, 2000. Springer, Vienna, Austria (2000)
196.
Conference Paper
Walkthroughs with Corrective Texturing. In: Rendering Techniques 2000, pp. 377 - 388 (Eds. Péroche, B.; Rushmeier, H.). 2000 Eurographics Workshop on Rendering Techniques, Brno, Czech Republic, June 26, 2000 - June 28, 2000. Springer, Vienna, Austria (2000)
197.
Conference Paper
Hierarchical Radiosity with Global Refinement. In: Proceedings of Vision, Modeling, and Visualization 2000, pp. 263 - 270 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)
198.
Conference Paper
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), pp. 229 - 245 (Ed. Bachmair, L.). Untitled Event, Norwich, UK, 2000. Springer, Berlin, Germany (2000)
199.
Conference Paper
On the Alternation-free Horn mu-calculus. In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), pp. 418 - 435 (Eds. Parigot, M.; Voronkov, A.). Untitled Event, La Reunion, France, 2000. Springer, Berlin, Germany (2000)
200.
Conference Paper
Adding Relevance to XML. In: Proceedings of the Third International Workshop The World Wide Web and Databases, WebDB 2000 (Informal Proceedings), pp. 35 - 40 (Eds. Suciu, D.; Vossen, G.). Untitled Event, Dallas, Texas, USA, May 18, 2000 - May 19, 2000. Springer, Heidelberg, GER (2000)