|
521 |
A qualitative model of automated decision making Graboś, Rafał, 2009
|
|
|
522 |
Algorithms for building high-accurate optical tracking systems Handel, Holger, 2009
|
|
|
523 |
An automated policy refinement process supported by expert knowledge Rochaeli, Taufiq, 2009
|
|
|
524 |
An information theoretic perspective on cognitive systems Bertschinger, Nils, 2009
|
|
|
525 |
Anchoring symbols to percepts in the fluent calculus Fichtner, Matthias, 2009
|
|
|
526 |
Architecture and framework for trustworthy autonomous systems Brancovici, George-Sava. - München : Verl. Dr. Hut, 2009, 1. Aufl.
|
|
|
527 |
Automated deduction for projection elimination Wernhard, Christoph. - Heidelberg : AKA, 2009
|
|
|
528 |
Automatische Objektverfolgung gestützt durch Langzeitbeobachtungen der Szene Merkel, Marcel. - Düsseldorf : VDI-Verl., 2009, Als Ms. gedr.
|
|
|
529 |
Axiom pinpointing in description logics and beyond Peñaloza Nyssen, Rafael, 2009
|
|
|
530 |
Begriffserwerb aus großen Mengen von Beispielen Lippold, Dietmar. - Göttingen : Cuvillier, 2009, 1. Aufl.
|
|