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

• Runtime Characterisation of Triple Stores  + (Long)
• QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory  + (Long)
• Efficient Parallel Dictionary Encoding for RDF Data  + (Long)
• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (Long)
• A Fully Parallel Framework for Fast Analyzing RDF Data  + (Long)
• Robust and Skew-resistant Parallel Joins in Shared-nothing Systems  + (Long)
• Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies  + (Long)
• Design and Evaluation of Parallel Hashing over Large-scale Data  + (Long)
• A Scalable Analysis Framework for Large-scale RDF Data  + (Long)
• High Throughput Indexing for Large-scale Semantic Web Data  + (Long)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (Long)
• Fast Compression of Large Semantic Web Data using X10  + (Long)
• Scale-Out Processing of Large RDF Datasets  + (Long)
• Efficient Large Outer Joins over MapReduce  + (Long)
• Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems  + (Long)
• Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments  + (Long)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (Lucas)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Lucía)
• Talking about Forests: an Example of Sharing Information Expressed with Vague Terms  + (Lucía)
• Ambiguity: What is it that needs representing and what needs resolving?  + (Lucía)
• Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics  + (Lucía)
• Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms  + (Lucía)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Lucía)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (Lucía)
• Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)  + (Lucía)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (Lucía)
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL  + (Lucía)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (Lucía)
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities  + (Lucía)

• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (Luisa)
• A Medvedev Characterization of Recognizable Tree Series  + (Luisa)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (Luisa)
• Global One-Counter Tree Automata  + (Luisa)
• Linear weighted tree automata with storage and inverse linear tree homomorphisms  + (Luisa)
• Non-Global Parikh Tree Automata  + (Luisa)
• Weighted Automata with Storage  + (Luisa)
• Weighted Symbolic Automata with Data Storage  + (Luisa)
• Weighted automata with storage  + (Luisa)

• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (Lukas)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)  + (Lukas)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (Lukas)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)  + (Lukas)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)  + (Lukas)
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization  + (Lukas)
• For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Finite De­gree  + (Lukas)
• Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions  + (Lukas)
• System NEL is Undecidable  + (Lutz)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Lutz)
• The Undecidability of System NEL  + (Lutz)
• A Local System for Linear Logic  + (Lutz)
• MELL in the Calculus of Structures  + (Lutz)
• MELL in the Calculus of Structures  + (Lutz)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Lutz)
• A Computational Logic Approach to the Belief Bias Effect  + (Luís Moniz)
• Contextual Abductive Reasoning with Side-Effects  + (Luís Moniz)
• Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications  + (M.)