The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for inseparability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1999 (15) 2000-2008 (15) 2009-2013 (18) 2014-2018 (16) 2019-2021 (4)
Publication types (Num. hits)
article(33) incollection(1) inproceedings(33) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 68 publication records. Showing 68 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Lixin Shi, Jian-Yun Nie Integrating phrase inseparability in phrase-based model. Search on Bibsonomy SIGIR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF inseparability, phrase model, language model
69Erich Grädel Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
53Vladimír R. Buzek, Mark Hillery Universal Optimal Cloning of Qubits and Quantum Registers. Search on Bibsonomy QCQC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF quantum cloning, quantum logic networks, inseparability
44Qianchuan Zhao, Da-Zhong Zheng Note on Structural Properties and Sizes of Eigenspaces of Min-max Functions. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Andreas Blass, Yuri Gurevich Inadequacy of computable loop invariants. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants
26Uri Andrews, Andrea Sorbi Effective Inseparability, Lattices, and Preordering Relations. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Andrea Sorbi Effective Inseparability and Its Applications. Search on Bibsonomy CiE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query inseparability for ALC ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability for ALC Ontologies. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
26Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
26Patoomsiri Songsiri, Boonserm Kijsirikul Efficient All-and-One Support Vector Machines Based on One-versus-All Data Inseparability. Search on Bibsonomy IRI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26W. A. Gatens Modularity through inseparability: algorithms, extensions, and evaluation. Search on Bibsonomy 2017   RDF
26Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Games for query inseparability of description logic knowledge bases. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
26Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev When is Query Inseparability for ALC Ontologies Decidable? Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
26Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy Reasoning Web The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query-Based Entailment and Inseparability for ALC Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
26Anas Chaaban, Aydin Sezgin Cyclic Communication and the Inseparability of MIMO Multi-Way Relay Channels. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Anas Chaaban, Aydin Sezgin Cyclic Communication and the Inseparability of MIMO Multi-way Relay Channels. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
26Asoka Biswas Inseparability criteria based on bipartitions of N-qubit systems. Search on Bibsonomy Quantum Inf. Process. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Anas Chaaban, Aydin Sezgin On Channel Inseparability and the DoF Region of MIMO Multi-way Relay Channels. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
26Jianwei Xie, Sennur Ulukus Inseparability of the multiple access wiretap channel. Search on Bibsonomy ISIT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability for Description Logic Knowledge Bases. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
26Yuming Shen, Ju Wang Complexity of Conservative Extensions and Inseparability in the Description Logic EL^\lnot. Search on Bibsonomy CSWS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Query Inseparability by Games. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
26Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Model-theoretic inseparability and modularity of description logic ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Kaushik Ghosh 0001, Rajagopalan Srinivasan An inseparability metric to identify a small number of key variables for improved process monitoring. Search on Bibsonomy CCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Christoph Hellings, Wolfgang Utschick Three Kinds of Inseparability in Parallel MIMO Broadcast Channels with Linear Transceivers. Search on Bibsonomy ISWCS The full citation details ... 2013 DBLP  BibTeX  RDF
26Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
26Lance Fortnow, Jack H. Lutz, Elvira Mayordomo Inseparability and Strong Hypotheses for Disjoint NP Pairs. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Lavinia Egidi, Giovanni Faglia Double-exponential inseparability of Robinson subsystem Q+. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Christoph Hellings, Wolfgang Utschick On the Inseparability of Parallel MIMO Broadcast Channels With Linear Transceivers. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Michael Zakharyaschev Query Inseparability and Module Extraction in OWL 2 QL. Search on Bibsonomy WoMO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Conjunctive Query Inseparability of OWL 2 QL TBoxes. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Jarkko Kari Snakes and Cellular Automata: Reductions and Inseparability Results. Search on Bibsonomy CSR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Module Extraction via Query Inseparability in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
26Carsten Lutz, Frank Wolter Deciding inseparability and conservative extensions in the description logic EL. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Lance Fortnow, Jack H. Lutz, Elvira Mayordomo Inseparability and Strong Hypotheses for Disjoint NP Pairs. Search on Bibsonomy STACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Jack H. Lutz, Elvira Mayordomo Inseparability and Strong Hypotheses for Disjoint NP Pairs. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2009 DBLP  BibTeX  RDF
26Jack H. Lutz, Elvira Mayordomo Inseparability and Strong Hypotheses for Disjoint NP Pairs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
26Szczepan Hummel, Henryk Michalewski, Damian Niwinski On the Borel Inseparability of Game Tree Languages. Search on Bibsonomy STACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Viveck R. Cadambe, Syed Ali Jafar Multiple Access Outerbounds and the Inseparability of Parallel Interference Channels Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
26Viveck R. Cadambe, Syed Ali Jafar Multiple Access Outerbounds and the Inseparability of Parallel Interference Channels. Search on Bibsonomy GLOBECOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Fabio Dell'anno, Silvio De Siena, Fabrizio Illuminati Test of Inseparability Criteria for Squeezed Number States of the Radiation Field. Search on Bibsonomy Open Syst. Inf. Dyn. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Clyde W. Holsapple The inseparability of modern knowledge management and computer-based technology. Search on Bibsonomy J. Knowl. Manag. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Allan K. Steel Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Qianchuan Zhao A remark on inseparability of min-max systems. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26David McSherry The inseparability problem in interactive case-based reasoning. Search on Bibsonomy Knowl. Based Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ralph McKenzie Recursive Inseparability for Residual Bounds of Finite Algebras. Search on Bibsonomy J. Symb. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Judith Keijsper, Rudi Pendavingh, Alexander Schrijver Adjacency, Inseparability, and Base Orderability in Matroids. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Andrea Cantini, Pierluigi Minari Uniform Inseparability in Explicit Mathematics. Search on Bibsonomy J. Symb. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Ilda P. F. da Silva Note on inseparability graphs of matroids having exactly one class of orientations. Search on Bibsonomy Discret. Math. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Dieter Spreen Effective Inseparability in a Topological Setting. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Kevin J. Davey Inseparability in Recursive Copies. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Giovanni Faglia Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Stål Aanderaa, Herman Ruge Jervell Recursive Inseparability in Linear Logic. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26John Case Effectivizing Inseparability. Search on Bibsonomy Math. Log. Q. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Jean-Pierre Roudneff Inseparability graphs of oriented matroids. Search on Bibsonomy Comb. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
26Dieter Spreen On r.e. inseparability of CPO index sets. Search on Bibsonomy Logic and Machines The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
26Stephen D. Comer Finite Inseparability of Some Theories of Cylindrification Algebras. Search on Bibsonomy J. Symb. Log. The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
22Alexander O. Tarakanov Immunocomputing for Speaker Recognition. Search on Bibsonomy Advances in Machine Learning II The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Chunming Li, Rui Huang 0001, Zhaohua Ding, Chris Gatenby, Dimitris N. Metaxas, John C. Gore A Variational Level Set Approach to Segmentation and Bias Correction of Images with Intensity Inhomogeneity. Search on Bibsonomy MICCAI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Stephen Kell Rethinking software connectors. Search on Bibsonomy SYANCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Adekunle Okunoye Increase in Computing Capability and its Influence on Service Provision. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Friedrich Steimann, Thomas Kühne 0001 A Radical Reduction of UML's Core Semantics. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Sergei G. Vorobyov An Improved Lower Bound for the Elementary Theories of Trees. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Michael Waidner, Birgit Pfitzmann The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). Search on Bibsonomy EUROCRYPT The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
22Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger Actor Induction and Meta-Evaluation. Search on Bibsonomy POPL The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #68 of 68 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license