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
- Ausgezeichnete Informatikdissertationen 2008 + (German Informatics Society)
- Ausgezeichnete Informatikdissertationen 2011 + (German Informatics Society)
- Ausgezeichnete Informatikdissertationen 2007 + (German Informatics Society)
- Ausgezeichnete Informatikdisserationen 2000 + (German Informatics Society)
- LATPub437 + (Gesellschaft für Informatik)
- A Modified Supervaluationist Framework for Decision-Making + (Gheorghe Zane Institute for Economic and Social Research, Romanian Academy)
- A Model and Method to Terminologize Existing Domain Ontologies + (HAL)
- Efficiently Handling Skew in Outer Joins on Distributed Systems + (IEEE)
- Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement + (IEEE)
- A bridge between decentralized and coordination control + (IEEE)
- Multilevel coordination control of modular DES + (IEEE)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (IEEE)
- Runtime Characterisation of Triple Stores + (IEEE)
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory + (IEEE)
- Massively Parallel Reasoning under the Well-Founded Semantics using X10 + (IEEE)
- Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies + (IEEE)
- Design and Evaluation of Parallel Hashing over Large-scale Data + (IEEE)
- Hierarchical control with partial observations: Sufficient conditions + (IEEE)
- Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control + (IEEE)
- Relative Observability in Coordination Control + (IEEE)
- On a Distributed Computation of Supervisors in Modular Supervisory Control + (IEEE)
- Scale-Out Processing of Large RDF Datasets + (IEEE)
- Fast Compression of Large Semantic Web Data using X10 + (IEEE)
- Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems + (IEEE)
- Complexity of Infimal Observable Superlanguages + (IEEE)
- Complexity of Verifying Nonblockingness in Modular Supervisory Control + (IEEE)
- A computational logic approach to human spatial reasoning + (IEEE)
- Why propositional quantification makes modal logics on trees robustly hard ? + (IEEE)
- Fast Dual Simulation Processing of Graph Database Queries + (IEEE)
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming + (IEEE)
- On Logics and Homomorphism Closure + (IEEE)
- Cost-Utility Analysis in Probabilistic Models + (IEEE)
- Long-run Satisfaction of Path Properties + (IEEE)
- A Database Approach for Modeling and Querying Video Data + (IEEE Computer Society)
- A Semantic Modeling Approach for Video Retrieval by Content + (IEEE Computer Society)
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions + (IEEE Computer Society)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (IEEE Computer Society)
- Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems + (IEEE Computer Society)
- How to reason with OWL in a logic programming system + (IEEE Computer Society)
- Mining of EL-GCIs + (IEEE Computer Society)
- Model Checking Action- and State-Labelled Markov Chains + (IEEE Computer Society)
- Model Checking Performability Properties + (IEEE Computer Society)
- Modeling and Querying Video Data: A Hybrid Approach + (IEEE Computer Society)
- Modeling and Querying Video Databases + (IEEE Computer Society)
- Models and Temporal Logics for Timed Component Connectors + (IEEE Computer Society)
- PROBMELA: a modeling language for communicating probabilistic processes + (IEEE Computer Society)
- Partial Order Reduction for Probabilistic Systems + (IEEE Computer Society)
- Pushing Doors for Modeling Contexts with OWL DL –a Case Study + (IEEE Computer Society)
- Situation Recognition for Service Management Systems Using OWL 2 Reasoners + (IEEE Computer Society)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (IEEE Computer Society Press)
- Quantitative Temporal Logics: PSpace and below + (IEEE Computer Society Press)
- Temporalising Tractable Description Logics + (IEEE Computer Society Press)
- Temporal Description Logics: A Survey + (IEEE Computer Society Press)
- Recognizing $ømega$-regular Languages with Probabilistic Automata + (IEEE Computer Society Press)
- LiQuor: A tool for Qualitative and Quantitative Linear Time Analysis of Reactive Systems + (IEEE Computer Society Press)
- Stochastic Game Logic + (IEEE Computer Society Press)
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata + (IEEE Computer Society Press)
- Reduction Techniques for Model Checking Markov Decision Processes + (IEEE Computer Society Press)
- Static Partial Order Reduction for Probabilistic Concurrent Systems + (IEEE Computer Society Press)
- Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable? + (IEEE Press)
- On Algorithms and Extensions of Coordination Control of Discrete-Event Systems + (IFAC)
- Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability + (IGI Global)
- Computing Cores for Existential Rules with the Standard Chase and ASP + (IJCAI)
- Reasoning-Supported Interactive Revision of Knowledge Bases + (IJCAI 2011)
- Standpoint Linear Temporal Logic + (IJCAI Inc)
- Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (IJCAI Inc)
