Conference Paper (102)

161.
Conference Paper
Sibeyn, J. F.: Solving Fundamental Problems on Sparse-Meshes. In: Proceedings of the 6th Scandinavian Workshop on Algorithm Theory (SWAT-98), pp. 288 - 299 (Eds. Arnborg, S.; Ivansson, L.). Untitled Event, Stockholm, July 08, 1998 - July 10, 1998. Springer, Berlin, Germany (1998)
162.
Conference Paper
Slusallek, P.; Heidrich, W.; Seidel, H.-P.: Radiance Maps: An Image-based Approach to Global Illumination. In: SIGGRAPH '98: ACM SIGGRAPH 98 Conference Abstracts and Applications, p. 264 (Eds. Crisson, S.; McAndless, J.). 25th International Conference on Computer Graphics and Interactive Techniques, Orlando, FL, USA, July 19, 1998 - July 24, 1998. ACM, New York, NY (1998)
163.
Conference Paper
Slusallek, P.; Stamminger, M.; Seidel, H.-P.: Lighting Networks - A New Approach for Designing Lighting Algorithms. In: Proceedings of the Graphics Interface 1998 Conference, pp. 17 - 25 (Eds. Davis, W. A.; Booth, K. S.; Fournier, A.). Graphics Interface 1998 Conference, Vancouver, BC, Canada, June 18, 1998 - June 20, 1998. Canadian Human-Computer Communications Society, Toronto (1998)
164.
Conference Paper
Slusallek, P.; Stamminger, M.; Seidel, H.-P.: Hierarchical Techniques for Global Illumination Computations - Recent Trends and Developments. In: Mathematical Visualization, pp. 181 - 194 (Eds. Hege, H.-C.; Polthier, K.). Second International Workshop on Visualization and Mathematics, Berlin, Germany, September 16, 1997 - September 19, 1997. Springer, Berlin (1998)
165.
Conference Paper
Sofronie-Stokkermans, V.: On Translation of Finitely-Valued Logics to Classical First-Order Logic. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 410 - 411 (Ed. Prade, H.). Untitled Event, Brighton, UK, 1998. Wiley, Chichester, USA (1998)
166.
Conference Paper
Sofronie-Stokkermans, V.: Representation Theorems and Automated Theorem Proving in Certain Classes of Non-classical Logics. In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (Eds. Eklund, P.; Escalada-Imaz, G.; Haehnle, R.; Vojtas, P.). Workshop on Many-Valued Logic for AI Applications, Brighton, UK. ECAI, Brighton, UK (1998)
167.
Conference Paper
Solis-Oba, R.: 2-Approximation Algorithm for Finding a Spanning Tree with Maximum Number of Leaves. In: Proceedings of the 6th Annual European Symposium on Algorithms (ESA-98), pp. 441 - 452 (Eds. Bilardi, G.; Italiano, G. F.; Pietracaprina, A.; Pucci, G.). Untitled Event, Venice, Italy. Springer, Berlin, Germany (1998)
168.
Conference Paper
Solis-Oba, R.; Frederickson, G. N.: Rooted Spanning Trees with Small Weight and Average Length. In: Theoretical Computer Science, pp. 114 - 125 (Eds. Degano, P.; Vaccaro, U.; Pirillo, G.). Untitled Event, Prato, Italy. World Scientific, Singapore (1998)
169.
Conference Paper
Stamminger, M.; Slusallek, P.; Seidel, H.-P.: Bounded Clustering-finding Good Bounds on Clustered Light Transport. In: Pacific Graphics '98, pp. 87 - 96. 6th Pacific Conference on Computer Graphics and Applications, Singapore, October 26, 1998 - October 28, 1998. IEEE explore, Piscataway, NJ (1998)
170.
Conference Paper
Stamminger, M.; Slusallek, P.; Seidel, H.-P.: Three Point Clustering for Radiance Computations. In: Rendering Techniques '98, pp. 211 - 222 (Eds. Drettakis, G.; Max, N. L.). Eurographics Workshop on Rendering Techniques, Vienna, Austria, June 29, 1998 - July 01, 1998. Springer, Berlin (1998)
171.
Conference Paper
Starner, T.; Schiele, B.; Pentland, A.: Visual Contextual Awareness in Wearable Computing. In: Second International Symposium on Wearable Computers, pp. 50 - 57. Second International Symposium on Wearable Computers, Pittsburgh, PA, USA, October 16, 1998 - October 20, 1998. IEEE, Piscataway, NJ (1998)
172.
Conference Paper
van der Torre, L. W. N.: Labeled logics of conditional goals. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 368 - 369 (Ed. Prade, H.). Untitled Event, Brighton, England, 1998. Wiley, Chichester, USA (1998)
173.
Conference Paper
van der Torre, L. W. N.: Phased labeled logics of conditional goals. In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), pp. 92 - 106 (Eds. Dix, J.; Fariñas del Cerro, L.; Furbach, U.). Untitled Event, Schloss Dagstuhl, 1998. Springer, Berlin, Germany (1998)
174.
Conference Paper
van der Torre, L. W. N.; Tan, Y.-H.: An update semantics for prima facie obligations. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 38 - 42 (Ed. Prade, H.). Untitled Event, Brighton, England, 1998. Wiley, Chichester, USA (1998)
175.
Conference Paper
van der Torre, L. W. N.; Tan, Y.-H.: Prohairetic Deontic Logic (PDL). In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), pp. 77 - 91 (Eds. Dix, J.; Fariñas del Cerro, L.; Furbach, U.). Untitled Event, Schloss Dagstuhl, 1998. Springer, Berlin, Germany (1998)
176.
Conference Paper
van der Torre, L. W. N.; Tan, Y.-H.: The temporal analysis of Chisholm's paradox. In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), pp. 650 - 655. Untitled Event, Madison, Wisconson, 1998. AAAI Press/ MIT Press, Menlo Park, USA (1998)
177.
Conference Paper
Veanes, M.: The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), pp. 264 - 275 (Ed. Pratt, V.). Untitled Event, Indianapolis, Indiana, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1998)
178.
Conference Paper
Vorobyov, S.: $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard. In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), pp. 597 - 606 (Eds. Brim, L.; Gruska, J.; Zlatuska, J.). Untitled Event, Brno, Czech Republic, 1998. Springer, Berlin, Germany (1998)
179.
Conference Paper
Vorobyov, S.; Voronkov, A.: Complexity of Nonrecursive Logic Programs with Complex Values. In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), pp. 244 - 253. Untitled Event, Saeattle, Washington, U.S.A.. ACM, New York, USA (1998)
180.
Conference Paper
Waldmann, U.: Superposition for Divisible Torsion-Free Abelian Groups. In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), pp. 144 - 159 (Eds. Kirchner, C.; Kirchner, H.). Untitled Event, Lindau, Germany, 1998. Springer, Berlin, Germany (1998)
Go to Editor View