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

• A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem  + (A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem)
• A bridge between decentralized and coordination control  + (A bridge between decentralized and coordination control)
• A cartesian closed category of approximable concept structures  + (A cartesian closed category of approximable concept structures)
• A categorical view on algebraic lattices in formal concept analysis  + (A categorical view on algebraic lattices in formal concept analysis)
• A compact fuzzy extension of the Naive Bayesian classification algorithm  + (A compact fuzzy extension of the Naive Bayesian classification algorithm)
• A computational logic approach to human spatial reasoning  + (A computational logic approach to human spatial reasoning)
• A computational logic approach to human syllogistic reasoning  + (A computational logic approach to human syllogistic reasoning)
• A computational logic approach to the belief bias in human syllogistic reasoning  + (A computational logic approach to the belief bias in human syllogistic reasoning)
• A cross-lingual correcting and completive method for multilingual ontology labels  + (A cross-lingual correcting and completive method for multilingual ontology labels)
• A diamond in the rough: Theorizing column stores  + (A diamond in the rough: Theorizing column stores)
• A diamond in the rough: Theorizing column stores  + (A diamond in the rough: Theorizing column stores)
• A finite basis for the set of EL-implications holding in a finite model  + (A finite basis for the set of EL-implications holding in a finite model)
• A formal assessment result for fluent calculus using the action description language A_k  + (A formal assessment result for fluent calculus using the action description language A_k)
• A framework for connection calculi  + (A framework for connection calculi)
• A fuzzy extension of explanatory relations based on mathematical morphology  + (A fuzzy extension of explanatory relations based on mathematical morphology)
• A general first-order solution to the ramification problem with cycles  + (A general first-order solution to the ramification problem with cycles)
• A generalized resolution theorem  + (A generalized resolution theorem)
• A generalized resolution theorem  + (A generalized resolution theorem)
• A gentle introduction to partition width  + (A gentle introduction to partition width)
• A gentle introduction to partition width  + (A gentle introduction to partition width)
• A hybrid approach for learning concept definitions from text  + (A hybrid approach for learning concept definitions from text)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics  + (A new combination procedure for the word problem that generalizes fusion decidability results in modal logics)
• A new context-based -subsumption algorithm  + (A new context-based -subsumption algorithm)
• A nice Cycle Rule for Goal-Directed E-Unification  + (A nice Cycle Rule for Goal-Directed E-Unification)
• A note on C2 interpreted over finite data-words  + (A note on C2 interpreted over finite data-words)

• A note on controllability of deterministic context-free systems  + (A note on controllability of deterministic context-free systems)

• A note on the attractor-property of infinite-state Markov chains  + (A note on the attractor-property of infinite-state Markov chains)
• A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  + (A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation)
• A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  + (A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation)
• A probabilistic visual sensor model for mobile robot localisation in structured environments  + (A probabilistic visual sensor model for mobile robot localisation in structured environments)
• A proof of CSP Dichotomy conjecture  + (A proof of CSP Dichotomy conjecture)
• A proof of CSP Dichotomy conjecture  + (A proof of CSP Dichotomy conjecture)
• A purely logical account of sequentiality in proof search – extended abstract  + (A purely logical account of sequentiality in proof search – extended abstract)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (A revised evaluation framework for region of interest detectors using artificial 3d-scenes)
• A robot control system integrating reactive control, reasoning, and execution monitoring  + (A robot control system integrating reactive control, reasoning, and execution monitoring)
• A rule based data manipulation language for OLAP systems  + (A rule based data manipulation language for OLAP systems)
• A rule based data manipulation language for OLAP systems  + (A rule based data manipulation language for OLAP systems)
• A rule-based ontological framework for the classification of molecules  + (A rule-based ontological framework for the classification of molecules)
• A semi-supervised method for learning the structure of robot-environment interaction  + (A semi-supervised method for learning the structure of robot-environment interaction)
• A systematic proof theory for several modal logics  + (A systematic proof theory for several modal logics)
• A tableau algorithm for reasoning about concepts and similarity  + (A tableau algorithm for reasoning about concepts and similarity)
• A uniform approach to logic programming semantics  + (A uniform approach to logic programming semantics)
• A uniform framework for modeling and verifying components and connectors  + (A uniform framework for modeling and verifying components and connectors)
• A uniform framework for weighted decision diagrams and its implementation  + (A uniform framework for weighted decision diagrams and its implementation)
• A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  + (A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications)
• A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  + (A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications)
• A1-Unification  + (A1-Unification)
• ADF - BDD : An ADF Solver Based on Binary Decision Diagrams  + (ADF - BDD : An ADF Solver Based on Binary Decision Diagrams)