Suche mittels Attribut
Aus International Center for Computational Logic
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
- ETALIS: Rule-Based Reasoning in Event Processing + (ETALIS: Rule-Based Reasoning in Event Processing)
- EU-Drittlandprogramme 2007-2013 + (EU-Drittlandprogramme 2007-2013)
- Effective algorithm for parameter back calculation - Geotechnical applications + (Effective algorithm for parameter back calculation - Geotechnical applications)
- Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study + (Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study)
- Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik + (Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik)
- Efficient Axiom Pinpointing in EL using SAT Technology + (Efficient Axiom Pinpointing in EL using SAT Technology)
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes + (Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes)
- Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems + (Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems)
- Efficient Dependency Analysis for Existential Rules + (Efficient Dependency Analysis for Existential Rules)
- Efficient Dependency Analysis for Rule-Based Ontologies + (Efficient Dependency Analysis for Rule-Based Ontologies)
- Efficient Dependency Analysis for Rule-Based Ontologies + (Efficient Dependency Analysis for Rule-Based Ontologies)
- Efficient Dependency Analysis for Rule-Based Ontologies + (Efficient Dependency Analysis for Rule-Based Ontologies)
- Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog + (Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog)
- Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles + (Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles)
- Efficient Inferencing for OWL EL + (Efficient Inferencing for OWL EL)
- Efficient Inferencing for the Description Logic Underlying OWL EL + (Efficient Inferencing for the Description Logic Underlying OWL EL)
- Efficient Large Outer Joins over MapReduce + (Efficient Large Outer Joins over MapReduce)
- Efficient Model Construction for Horn Logic with VLog + (Efficient Model Construction for Horn Logic with VLog)
- Efficient Model Construction for Horn Logic with VLog + (Efficient Model Construction for Horn Logic with VLog)
- Efficient Model Construction for Horn Logic with VLog + (Efficient Model Construction for Horn Logic with VLog)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (Efficient Model Construction for Horn Logic with VLog: Extended Abstract)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (Efficient Model Construction for Horn Logic with VLog: Extended Abstract)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (Efficient Model Construction for Horn Logic with VLog: Extended Abstract)
- Efficient OWL Reasoning with Logic Programs - Evaluations + (Efficient OWL Reasoning with Logic Programs - Evaluations)
- Efficient Parallel Dictionary Encoding for RDF Data + (Efficient Parallel Dictionary Encoding for RDF Data)
- Efficient Reasoning in EL^+ + (Efficient Reasoning in EL^+)
- Efficient Rule-Based Inferencing for OWL EL + (Efficient Rule-Based Inferencing for OWL EL)
- Efficient SAT-Encoding of Linear CSP Constraints + (Efficient SAT-Encoding of Linear CSP Constraints)
- Efficient Separability of Regular Languages by Subsequences and Suffixes + (Efficient Separability of Regular Languages by Subsequences and Suffixes)
- Efficient Skew Handling for Outer Joins in a Cloud Computing Environment + (Efficient Skew Handling for Outer Joins in a Cloud Computing Environment)
- Efficient Symbolic Reasoning for First-Order MDPs + (Efficient Symbolic Reasoning for First-Order MDPs)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes + (Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes)
- Efficiently Handling Skew in Outer Joins on Distributed Systems + (Efficiently Handling Skew in Outer Joins on Distributed Systems)
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers + (Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers)
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers + (Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers)
- Ein massiv paralleles Berechnungsmodell für normale logische Programme + (Ein massiv paralleles Berechnungsmodell für normale logische Programme)
- Ein massiv paralleles Berechnungsmodell für normale logische Programme + (Ein massiv paralleles Berechnungsmodell für normale logische Programme)
- Einführung in Wikidata + (Einführung in Wikidata)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Eldora + (Eldora)
- Eldora + (Eldora)
- Elisa Böhl + (Elisa Böhl)
- Elisa Böhl + (Elisa Böhl)
- Elisa Böhl switches to NAVAS + (Elisa Böhl switches to NAVAS)
- Elisa Böhl wechselt zum NAVAS-Projekt + (Elisa Böhl wechselt zum NAVAS-Projekt)
- Em engineering methods AG + (Em engineering methods AG)
- Em engineering methods AG + (Em engineering methods AG)
- Embedding Defaults into Terminological Representation Systems + (Embedding Defaults into Terminological Representation Systems)