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

• Mathematical Morphology Operators over Concept Lattices  + (Jamal)
• A fuzzy extension of explanatory relations based on mathematical morphology  + (Jamal)
• Image Schemas and Conceptual Dependency Primitives: A Comparison  + (Jamie)
• A bridge between decentralized and coordination control  + (Jan)
• Multilevel coordination control of modular DES  + (Jan)
• Supervisory control synthesis of discrete-event systems using a coordination scheme  + (Jan)
• On conditional decomposability  + (Jan)
• Coordination control of discrete-event systems revisited  + (Jan)
• Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions  + (Jan)
• A Note on Relative Observability in Coordination Control  + (Jan)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (Jan)
• On Algorithms and Extensions of Coordination Control of Discrete-Event Systems  + (Jan)
• Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control  + (Jan)
• Supervisory Control of Distributed Discrete-Event Systems  + (Jan)
• Coordination Control of Distributed Discrete-Event Systems  + (Jan)
• Coordination Control of Distributed Discrete-Event Systems  + (Jan)
• Supervisory Control of Discrete-Event Systems  + (Jan)
• Implementing the n-ary Description Logic GF1-  + (Jan)
• Reasoning about Nominals with FaCT and RACER  + (Jan)
• PSPACE Automata for Description Logics  + (Jan)
• A Framework For Evaluating Visual SLAM  + (Jan)
• Multilevel Coordination Control of Partially Observed Modular DES  + (Jan)
• Relative Observability in Coordination Control  + (Jan)
• Distributed computation of supremal conditionally-controllable sublanguages  + (Jan)
• On a Distributed Computation of Supervisors in Modular Supervisory Control  + (Jan)
• Control of an Engineering-Structured Multilevel Discrete-Event System  + (Jan)
• Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication  + (Jan)
• Detecting Synonymous Properties by Shared Data-driven Definitions  + (Jan-Christoph)

• Knowledge-Based Support for Scholarly Editing and Text Processing  + (Jana)
• Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de  + (Jana)
• Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de  + (Jana)
• Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs  + (Jana)
• Towards Knowledge-Based Assistance for Scholarly Editing  + (Jana)
• Visualization of Statistical Information in Concept Lattice Diagrams  + (Jana)

• Determinacy of Real Conjunctive Queries. The Boolean Case  + (Jarosław)
• A Behavioral Characterization of Computational Systems  + (Javier Oscar)
• Walking the Complexity Lines for Generalized Guarded Existential Rules  + (Jean-François)
• Towards Farsighted Dependencies for Existential Rules  + (Jean-François)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (Jean-François)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• A Hardware/Software Stack for Heterogeneous Systems  + (Jeronimo)
• From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK  + (Jianmin)
• Implementing Default and Autoepistemic Logics via the Logic of GK  + (Jianmin)
• Evaluation of Extraction Techniques for Ontology Excerpts  + (Jieying)
• Compositional Synthesis and Most General Controllers  + (Joachim)
• Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic  + (Joachim)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Joachim)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (Joachim)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (Joachim)
• Are Good-for-Games Automata Good for Probabilistic Model Checking?  + (Joachim)
• Compositional Construction of Most General Controllers  + (Joachim)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (Joachim)
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata  + (Joachim)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (Johanna)