Studienarbeit
Filtern
Erscheinungsjahr
- 2010 (13) (entfernen)
Dokumenttyp
- Studienarbeit (13) (entfernen)
Sprache
- Deutsch (13) (entfernen)
Schlagworte
- Mustererkennung (2)
- Augmented Reality (1)
- Automatisches Beweisverfahren (1)
- BPMN (1)
- Balancetheorie (1)
- CB2 (1)
- Cascada (1)
- Computational logic (1)
- Computergraphik (1)
- DTI (1)
- E-KRHyper (1)
- E-Learning (1)
- EPC (1)
- EPK (1)
- Einchip-Computer (1)
- Enterprise Architect (1)
- GPU Programmierung (1)
- Geometryshader (1)
- Geschäftsprozess (1)
- Headtracking (1)
- Heuristiken (1)
- Hyperspace-Modell (1)
- Interpretierer (1)
- Klassifikationsframework (1)
- Klausellogik (1)
- Medizinische Visualisierung (1)
- Mikrocontroller AVR (1)
- Network (1)
- Netzwerk (1)
- Netzwerk Protokollen (1)
- Objekterkennung (1)
- Programmierumgebung (1)
- Protocol (1)
- Prädikatenlogik (1)
- Qt/C++ (1)
- Referenzmetamodell (1)
- Robotik (1)
- SPARQL (1)
- Semantic Web (1)
- Sesame (1)
- Softwareentwicklung (1)
- Softwaremodellierung (1)
- Tableau <Logik> (1)
- UML Activity Diagrams (1)
- UML Aktivitätsdiagramm (1)
- Universitäre Lehrveranstaltung (1)
- VNUML (1)
- Virtuelle Welt (1)
- Virtueller Raum (1)
- Visualisierung (1)
- Webservice Sail (1)
- Wii (1)
- Wii-Kamera (1)
- Wireshark (1)
- andLinux (1)
- andLinux. (1)
- business process (1)
- reference meta model (1)
Diese Arbeit behandelt verschiedene Ansätze zur Ermittlung einer Heuristik, welche zur Bestimmung einer optimalen Konfiguration des Theorembeweisers E-KRHyper eingesetzt werden soll. Es wird erläutert, wie der Beweiser durch eine angepasste Voreinstellung optimiert werden kann und die erarbeiteten Ansätze zur Ermittlung dieser Voreinstellung werden vorgestellt. Anhand der erzielten Ergebnisse werden die Ansätze anschließend bewertet und für eines der vorgestellten Verfahren wird außerdem eine Idee zur Implementierung vorgestellt.