Literatur im Fachgebiet Informatik Verhalten

Eine schlagwort­basierte Auswahl unserer Fachbücher

Learning Search Heuristics for Automated Deduction (Forschungsarbeit)

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten…

Informatik Künstliche Intelligenz Maschinelles Lernen
Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen (Forschungsarbeit)

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren und die damit einhergehende Demonstration von…

Informatik Optimierung Spieltheorie Verifikation Vertrag