Journal Article (46)
41.
Journal Article
32, pp. 517 - 529 (1999)
Randomness, Stochasticity, and Approximation. Theory of Computing Systems 42.
Journal Article
23 (1), p. 21 - 21 (1999)
SPASS V0.95TPTP. Journal of Automated Reasoning 43.
Journal Article
1 (1999)
Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ACM SIGMOD Digital Review 44.
Journal Article
22 (2), pp. 3 - 11 (1999)
Towards Self-Tuning Memory Management for Data Servers. IEEE Data(Base) Engineering Bulletin 45.
Journal Article
15 (2), pp. 100 - 111 (1999)
Real-time Exploration of Regular Volume Data by Adaptive Reconstruction of Iso-Surfaces. The Visual Computer 46.
Journal Article
99 (2), pp. 1 - 29 (1999)
Strong unicity of best uniform approximation from periodic spline spaces. Journal of Approximation Theory Book (1)
47.
Book
LEDA: a platform for combinatorial and geometric computing. Cambridge University Press, Cambridge, MA (1999), 1018 pp.
Book Chapter (7)
48.
Book Chapter
Formalization of the Development Process. In: Algebraic foundations of systems specification, pp. 521 - 562 (Eds. Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B.). Springer, Berlin, Germany (1999)
49.
Book Chapter
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 5 - 32 (Eds. Apt, K.; Marek, V. W.; Truszczynski, M.; Warren, D. S.). Springer, Berlin, Germany (1999)
50.
Book Chapter
Graph Drawing Algorithms. In: Algorithms & Theory of Computation Handbook, pp. 9 - 1-9-26 (Ed. Atallah, M. J.). CRC, Boca Raton, USA (1999)
51.
Book Chapter
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Ed. Orlowska, E.). Springer, Berlin, Germany (1999)
52.
Book Chapter
Augmented Realities Integrating User and Physical Models. In: Augmented Reality: Placing Artificial Objects in Real Scenes, pp. 73 - 79. Peters, Natick, Mass. (1999)
53.
Book Chapter
An update semantics for deontic reasoning. In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, pp. 73 - 90 (Eds. McNamara, P.; Prakken, H.). IOS Press, Amsterdam, the Netherlands (1999)
54.
Book Chapter
Contextual Deontic Logic: violation contexts and factual defeasibility. In: Formal Aspects in Context, pp. 173 - 192 (Ed. Cavalcanti, M.). Kluwer, Dordrecht, The Netherlands (1999)
Proceedings (4)
55.
Proceedings
1632). Untitled Event, Trento, Italy, 1999. Springer, Berlin, Germany (1999), 443 pp.
Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (Lecture Notes in Artificial Intelligence, 56.
Proceedings
1705). Untitled Event, Tbilisi, Georgia, 1999. Springer, Berlin, Germany (1999), 397 pp.
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) (Lecture Notes in Computer Science, 57.
Proceedings
Proceedings of Vision, Modeling and Visualization 1999. Untitled Event, Erlangen, Germany, 1999. Akademische Verlagsgesellschaft Aka, Berlin, Germany (1999), ? pp.
58.
Proceedings
Proceedings of Pacific Graphics 1999. Untitled Event, Seoul, Korea, October 05, 1999 - October 07, 1999. IEEE, Los Alamitos, USA (1999), ? pp.
Conference Paper (109)
59.
Conference Paper
I/O-Efficient Dynamic Point Location in Monotone Subdivisions. In: Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), pp. 11 - 20. Untitled Event, Baltimore, USA, January 17, 1999 - January 19, 1999. ACM, New York, USA (1999)
60.
Conference Paper
Page replacement for general caching problems. In: Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), pp. 31 - 40. Untitled Event, Baltimore, USA, 1999. ACM, New York, USA (1999)