Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• EnTS - a new Entropy-based Tree-indexing System  + (2002)
• A Layered Architecture for Robot Control Using the Fluent Calculus  + (2002)
• Symbolic Dynamic Programming  + (2002)
• Towards a unified view of the hierarchy of logic program classes  + (2002)

• Position estimation of a mobile robot using a single vehicle-mounted camera  + (19. November 2002)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (2003)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (2004)
• Application of a Monocular Camera as a Motion Sensor for Mobile Robots  + (1. März 2004)
• The Design of Modal Proof Theories: the case of S5  + (20. Oktober 2004)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (1. Februar 2005)
• Extracting Logic Programs from Artificial Neural Networks  + (22. Februar 2005)
• Real-Time Structure from Motion Using Kalman Filtering  + (21. März 2005)
• Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach  + (1. April 2005)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (31. Dezember 2005)
• Neural-Symbolic Integration - Constructive Approaches  + (1. Januar 2006)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (24. Januar 2006)
• Concept Learning in Description Logics  + (12. September 2006)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (13. März 2007)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (24. Mai 2007)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (24. Mai 2007)
• θ-subsumption algorithms  + (29. Oktober 2007)
• Hybrid Logic in the Calculus Structures  + (2008)
• Kamerabasierte personenortung  + (10. November 2008)
• Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung  + (1. Mai 2009)
• Decidability of Reasoning under the Well-Founded Semantics  + (2010)
• Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben  + (2010)
• Learning in the context of a formal calculus for the boolean satisfiability problem.  + (2010)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (2010)
• Memory Hierarchy Utilization of a SAT Solver  + (31. März 2010)
• An Integrative Approach to Object Recognition in VSLAM  + (15. September 2010)
• Human reasoning and abduction  + (29. September 2010)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (15. Dezember 2010)
• Reaching Definability via Abduction  + (2011)
• Reasoning with Text Annotations  + (1. April 2011)
• Backdoors for SAT  + (1. Oktober 2011)
• Polynomial Reduction from PESP to SAT  + (21. Oktober 2011)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (2014)
• Faktorisierung von natürlichen zahlen als sat-problem  + (2014)
• Solving Product Configuration Problems using Non-standard Reasoning Services  + (1. April 2014)
• Planning problems in Petri Nets and Fluent Calculus  + (4. April 2014)