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