Institut für Informatik und Computational Science
Refine
Year of publication
- 2007 (44) (remove)
Document Type
- Article (24)
- Doctoral Thesis (9)
- Monograph/Edited Volume (6)
- Master's Thesis (3)
- Other (2)
Keywords
- Visualisierung (2)
- visualization (2)
- 3D Linsen (1)
- 3D lenses (1)
- ADFS (1)
- Active Directory Federation Services (1)
- Antwortmengenprogrammierung (1)
- Authorization (1)
- Automated Theorem Proving (1)
- Automatisches Beweisen (1)
- Autorisierung (1)
- Bilddatenanalyse (1)
- Clause Learning (1)
- Constraint (1)
- Constraint-Programmierung (1)
- DPLL (1)
- Didaktik (1)
- Echtzeitanwendung (1)
- Eisenbahnnetz (1)
- Fehlvorstellung (1)
- Geometrieerzeugung (1)
- I/O-effiziente Algorithmen (1)
- Informatik (1)
- Infrastruktur (1)
- Intuition (1)
- Klausellernen (1)
- Künstliche Intelligenz (1)
- Präferenzen (1)
- SAT (1)
- SSO (1)
- Segmentierung (1)
- Shader (1)
- Single Sign On (1)
- Skelettberechnung (1)
- Virtuelles 3D Stadtmodell (1)
- answer set programming (1)
- artificial intelligence (1)
- bild (1)
- constraint (1)
- constraint programming (1)
- didactics (1)
- external memory algorithms (1)
- geometry generation (1)
- global constraints (1)
- globale Constraints (1)
- image (1)
- image data analysis (1)
- informatics (1)
- infrastructure (1)
- intuition (1)
- logic programming (1)
- logische Programmierung (1)
- medical (1)
- medizinisch (1)
- misconception (1)
- preferences (1)
- priorities (1)
- railway network (1)
- real-time application (1)
- segmentation (1)
- shader (1)
- skeletonization (1)
- virtual 3D city model (1)