Search results for "inseparability"

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