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

Towards next generation sequential and parallel SAT solvers + (Constraints)
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach + (Data & Knowledge Engineering)
Using Queries as Schema-Templates for Graph Databases + (Datenbank-Spektrum)
On the complexity of enumerating pseudo-intents + (Discrete Applied Mathematics)
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities + (Discrete Applied Mathematics)
Coordination control of discrete-event systems revisited + (Discrete Event Dynamic Systems)
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication + (Discrete Event Dynamic Systems)
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof + (Discrete Mathematics & Theoretical Computer Science)
Weighted Regular Tree Grammars with Storage + (Discrete Mathematics & Theoretical Computer Science)
Model Checking for a Probabilistic Branching Time Logic with Fairness + (Distributed Computing)
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems + (Electron. Notes Theor. Comput. Sci.)
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs + (Electron. Notes Theor. Comput. Sci.)
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract) + (Electron. Notes Theor. Comput. Sci.)
Iterative Variable Reordering: Taming Huge System Families + (Electronic Proceedings in Theoretical Computer Science)
Next directions in experimental data for seismic hazard mitigation + (Engineering Structures)
The classification of homomorphism homogeneous tournaments + (European Journal of Combinatorics)
Control of Distributed Systems: Tutorial and Overview + (European Journal of Control)
Abstract Dialectical Frameworks. An Overview + (FLAP)
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming + (Fields Institute Communications)
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach + (Formal Aspects of Computing)
ProFeat: feature-oriented engineering for family-based probabilistic model checking + (Formal Aspects of Computing)
Enhancing Probabilistic Model Checking with Ontologies + (Formal Aspects of Computing)
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications + (Formal Methods in System Design)
Performability assessment by model checking of Markov reward models + (Formal Methods in System Design)
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (Formal Methods in System Design)
Hybride Wissensorganisation mittels Objektstrukturen + (Fortschritte in der Künstlichen Intelligenz (KI 96), Dresden University Press)

??? + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)
Parallele Lokale Suchverfahren + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)
Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)

A categorical view on algebraic lattices in formal concept analysis + (Fundamenta Informaticae)
Blackhole Pushdown Automata + (Fundamenta Informaticae)
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (Fundamenta Informaticae)
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (Fundamenta Informaticae)
On Descriptional Complexity of Partially Parallel Grammars + (Fundamenta Informaticae)
Automata-Theoretic Decision Procedures for Information Logics + (Fundamenta Informaticae)
From Tableaux to Automata for Description Logics + (Fundamenta Informaticae)
On Language Equations with One-sided Concatenation + (Fundamenta Informaticae)
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages + (Fundamenta Informaticae)
On Topological Hierarchies of Temporal Properties + (Fundamenta Informaticae)
Synthesis of Reo Connectors for Strategies and Controllers + (Fundamenta Informaticae)
Neural Machine Translating from Natural Language to SPARQL + (Future Generation Computer Systems)
Reasoning in fuzzy description logics using automata + (Fuzzy Sets and Systems)
Quantitative Characterization of Reconfigurable Transistor Logic Gates + (IEEE Access)
Description Logics + (IEEE Intelligent Systems)
Complexity of Infimal Observable Superlanguages + (IEEE Transactions on Automatic Control)
Complexity of Verifying Nonblockingness in Modular Supervisory Control + (IEEE Transactions on Automatic Control)
Scale-Out Processing of Large RDF Datasets + (IEEE Transactions on Big Data)
Efficient Skew Handling for Outer Joins in a Cloud Computing Environment + (IEEE Transactions on Cloud Computing)
Managing Structured and Semistructured RDF Data Using Structure Indexes + (IEEE Transactions on Knowledge and Data Engineering)
A Hardware/Software Stack for Heterogeneous Systems + (IEEE Transactions on Multi-Scale Computing Systems)
Fast Compression of Large Semantic Web Data using X10 + (IEEE Transactions on Parallel and Distributed Systems)
Model-Checking Algorithms for Continuous-Time Markov Chains + (IEEE Transactions on Software Engineering)
Model Checking Markov Chains with Actions and State Labels + (IEEE Transactions on Software Engineering)