Institut für Informatik und Computational Science
Refine
Year of publication
Document Type
- Doctoral Thesis (203) (remove)
Is part of the Bibliography
- yes (203) (remove)
Keywords
- Maschinelles Lernen (7)
- Antwortmengenprogrammierung (6)
- Machine Learning (6)
- Modellierung (5)
- answer set programming (4)
- Answer Set Programming (3)
- Ontologie (3)
- Semantic Web (3)
- machine learning (3)
- Algorithmen (2)
Correctness proofs and probabilistic tests for constructive specifications and functional programs
(2001)
Real-Time-Non-Photorealistic rendering techniques for illustrating 3D scenes and their dynamics
(2005)