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

• An Integrative Approach to Object Recognition in VSLAM  + (Jan Funke)
• Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik  + (Javanshir Alammadli)
• On the Computation of Naive-based Argumentation Semantics  + (Javanshir Alammadli)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Jeannette Bohg)
• Real-Time Structure from Motion Using Kalman Filtering  + (Jeannette Bohg)
• Concept Learning in Description Logics  + (Jens Lehmann)
• Extracting Logic Programs from Artificial Neural Networks  + (Jens Lehmann)
• Solving Angry Birds with Reinforcement Learning  + (Julius Gonsior)
• Proof by Pointing and Selecting  + (Junhyuk Cho)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Jörg Wunderlich)
• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Jörg Wunderlich)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Kerstin Eder)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (Konrad Winkler)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Lars Beikirch)
• Indirekte Gewichtskorrekturverfahren für Neuronale Netze  + (Lars Beikirch)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas Gerlach)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas Gerlach)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas Gerlach)
• Solving Product Configuration Problems using Non-standard Reasoning Services  + (Lukas Schweizer)
• Backdoors for SAT  + (Marco Gario)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Marina Guetova)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (Markus Krötzsch)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (Markus Krötzsch)
• Faktorisierung von natürlichen zahlen als sat-problem  + (Markus Napierkowski)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Martin Pätzug)

• A Camera Sensor Model for Sensor Fusion  + (Matthias Fichtner)

• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (Matthias Knorr)
• Geometry and Axiomatics of Commonsense: Fragments  + (Matthias Wendt)
• Towards a unified view of the hierarchy of logic program classes  + (Matthias Wendt)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (Max Schäfer)
• Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods  + (Mei Yang)
• Kamerabasierte personenortung  + (Michael Zitzmann)
• Finite Herbrand Models for Monadic Clauses with Unary Function Symbols  + (Muhammad Zahid Zia)
• Decidability of Reasoning under the Well-Founded Semantics  + (Natalia Cherchago)
• Memory Hierarchy Utilization of a SAT Solver  + (Norbert Mantehy)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (Norbert Manthey)
• Towards Automated Symbolic Dynamic Programming  + (Olga Skvortsova)
• Symbolic Dynamic Programming  + (Olga Skvortsova)
• Polynomial Reduction from PESP to SAT  + (Peter Großmann)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (Peter Hirsch)
• The Design of Modal Proof Theories: the case of S5  + (Phiniki Stouppa)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Piotr Gorczyca)
• Scheduling Complex Oral Exams in Answer Set Programming  + (Pratistha Kansakar)
• Visualisierung von Lösungen in Abstrakten Argumentation Frameworks  + (Rajwardhan Kumar)
• Predicting the Performance of Wireless Communication Networks  + (Ran Shao)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (Raphael Höps)
• Solving Angry Birds with Reinforcement Learning  + (Richard Kwasnicki)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Richard Mörbitz)
• Learning in the context of a formal calculus for the boolean satisfiability problem.  + (Robert Stelzmann)
• Justifications under the Fixed-Domain Semantics  + (Satyadharma Tirtarasa)
• From Logic Programs to Iterated Function Systems  + (Sebastian Bader)