Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Cody Murray, R. Ryan Williams	Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP.	STOC	2018	DBLP DOI BibTeX RDF
13	Costanza Conforti, Matthias Huck, Alexander M. Fraser	Neural Morphological Tagging of Lemma Sequences for Machine Translation.	AMTA (1)	2018	DBLP BibTeX RDF
13	Ferkan Yilmaz, Mohamed-Slim Alouini	A useful lemma for bit error rate of the noise imbalanced MRC combining over correlated and uncorrelated fading channels.	SIU	2018	DBLP DOI BibTeX RDF
13		Basic Lemma.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
13		Symmetrization Lemma.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
13	Janusz Czelakowski	Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
13	Lanning Wang, Weiqun Wang, Jingbo Gao, Weimin Chen 0001	Stability and robust stabilization of 2-D continuous-discrete systems in Roesser model based on KYP lemma.	Multidimens. Syst. Signal Process.	2017	DBLP DOI BibTeX RDF
13	Marcello Pelillo, Ismail Elezi, Marco Fiorucci	Revealing structure in large graphs: Szemerédi's regularity lemma and its use in pattern recognition.	Pattern Recognit. Lett.	2017	DBLP DOI BibTeX RDF
13	Pedro Soares	Synchrony Branching Lemma for Regular Networks.	SIAM J. Appl. Dyn. Syst.	2017	DBLP DOI BibTeX RDF
13	Bernhard Haeupler, David G. Harris 0001	Parallel Algorithms and Concentration Bounds for the Lovász Local Lemma via Witness DAGs.	ACM Trans. Algorithms	2017	DBLP DOI BibTeX RDF
13	David G. Harris 0001, Aravind Srinivasan	A Constructive Lovász Local Lemma for Permutations.	Theory Comput.	2017	DBLP DOI BibTeX RDF
13	Kai-Min Chung, Seth Pettie, Hsin-Hao Su	Distributed algorithms for the Lovász local lemma and graph coloring.	Distributed Comput.	2017	DBLP DOI BibTeX RDF
13	Silouanos Brazitikos, Thodoris Karageorgos	An Algorithmic Regularity Lemma for Lp Regular Sparse Matrices.	SIAM J. Discret. Math.	2017	DBLP DOI BibTeX RDF
13	Dmitry Kopitkov, Vadim Indelman	Computationally Efficient Belief Space Planning via Augmented Matrix Determinant Lemma and Reuse of Calculations.	IEEE Robotics Autom. Lett.	2017	DBLP DOI BibTeX RDF
13	Guopeng Wang, Huiling Xu, Xiaokai Zhai, Juan Yao	N-D representation and generalised Kalman-Yakubivich-Popov lemma of spatially interconnected systems with interconnected chains.	Int. J. Syst. Sci.	2017	DBLP DOI BibTeX RDF
13	Oguzhan Teke, Palghat P. Vaidyanathan	On the Role of the Bounded Lemma in the SDP Formulation of Atomic Norm Problems.	IEEE Signal Process. Lett.	2017	DBLP DOI BibTeX RDF
13	Jun Shen 0002, James Lam	Some Extensions on the Bounded Real Lemma for Positive Systems.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
13	Jacob Fox, László Miklós Lovász	A tight lower bound for Szemerédi's regularity lemma.	Comb.	2017	DBLP DOI BibTeX RDF
13	Bruno Dinis, Fernando Ferreira 0001	Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.	Math. Log. Q.	2017	DBLP DOI BibTeX RDF
13	Adrian-Mihail Stoica, Isaac Yaesh	A bounded real lemma type-result with respect to the anisotropic norm setup for stochastic systems with multiplicative noise.	Autom.	2017	DBLP DOI BibTeX RDF
13	Anton Bernshteyn	The Local Cut Lemma.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
13	Ioannis Giotis 0001, Lefteris M. Kirousis, Kostas I. Psaromiligkos, Dimitrios M. Thilikos	Acyclic edge coloring through the Lovász Local Lemma.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	David Bartl, Dipti Dubey	A discrete variant of Farkas' Lemma.	Oper. Res. Lett.	2017	DBLP DOI BibTeX RDF
13	Yann Guermeur	Lp-norm Sauer-Shelah lemma for margin multi-category classifiers.	J. Comput. Syst. Sci.	2017	DBLP DOI BibTeX RDF
13	R. Rakkiyappan, K. Maheswari, K. Sivaranjani	Non-weighted H∞ state estimation for discrete-time switched neural networks with persistent dwell time switching regularities based on Finsler's lemma.	Neurocomputing	2017	DBLP DOI BibTeX RDF
13	Cody Murray, R. Ryan Williams	Circuit Lower Bounds for Nondeterministic Quasi-Polytime: An Easy Witness Lemma for NP and NQP.	Electron. Colloquium Comput. Complex.	2017	DBLP BibTeX RDF
13	Valentine Kabanets, Daniel M. Kane, Zhenjian Lu	A Polynomial Restriction Lemma with Applications.	Electron. Colloquium Comput. Complex.	2017	DBLP BibTeX RDF
13	Zeev Dvir, Benjamin L. Edelman	Matrix rigidity and the Croot-Lev-Pach lemma.	CoRR	2017	DBLP BibTeX RDF
13	Fotis Iliopoulos	The Algorithmic LLL and the Witness Tree Lemma.	CoRR	2017	DBLP BibTeX RDF
13	Heng Guo 0001, Chao Liao, Pinyan Lu, Chihao Zhang 0001	Counting hypergraph colorings in the local lemma regime.	CoRR	2017	DBLP BibTeX RDF
13	Carlos Domingo Castillo, Soham De, Xintong Han, Bharat Singh, Abhay Kumar Yadav, Tom Goldstein	Son of Zorn's Lemma: Targeted Style Transfer Using Instance-aware Semantic Segmentation.	CoRR	2017	DBLP BibTeX RDF
13		An interactive version of Lovász local lemma: Arthur and Merlin implement Moser's algorithm.	CoRR	2017	DBLP BibTeX RDF
13	Kazuyuki Asada, Naoki Kobayashi 0001	Pumping Lemma for Higher-order Languages.	CoRR	2017	DBLP BibTeX RDF
13	Cheuk Ting Li, Abbas El Gamal	Strong Functional Representation Lemma and Applications to Coding Theorems.	CoRR	2017	DBLP BibTeX RDF
13	Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin	Automated Lemma Synthesis in Symbolic-Heap Separation Logic.	CoRR	2017	DBLP BibTeX RDF
13	Quang Loc Le	Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis.	CoRR	2017	DBLP BibTeX RDF
13	David G. Harris 0001	Parallel algorithms for the Lopsided Lovász Local Lemma.	CoRR	2017	DBLP BibTeX RDF
13	Manuela Fischer, Mohsen Ghaffari 0001	Sublogarithmic Distributed Algorithms for Lovász Local lemma, and the Complexity Hierarchy.	CoRR	2017	DBLP BibTeX RDF
13	Kun He 0011, Liang Li, Xingwu Liu, Yuyi Wang 0001, Mingji Xia	Variable Version Lovász Local Lemma: Beyond Shearer's Bound.	CoRR	2017	DBLP BibTeX RDF
13	János Pach, Natan Rubin, Gábor Tardos	A Crossing Lemma for Jordan Curves.	CoRR	2017	DBLP BibTeX RDF
13	Mieczyslaw A. Klopotek	Machine Learning Friendly Set Version of Johnson-Lindenstrauss Lemma.	CoRR	2017	DBLP BibTeX RDF
13	Friedrich Eisenbrand, Robert Weismantel	Proximity results and faster algorithms for Integer Programming using the Steinitz Lemma.	CoRR	2017	DBLP BibTeX RDF
13	Jun Zhang, Qi Cheng	An Efficient Version of the Bombieri-Vaaler Lemma.	CoRR	2017	DBLP BibTeX RDF
13	Fei Wang 0047, Yongqing Yang	Correction: fractional order Barbalat's Lemma and its Applications in the stability of fractional order nonlinear Systems.	Math. Model. Anal.	2017	DBLP DOI BibTeX RDF
13	Heinz H. Bauschke, Jérôme Bolte, Marc Teboulle	A Descent Lemma Beyond Lipschitz Gradient Continuity: First-Order Methods Revisited and Applications.	Math. Oper. Res.	2017	DBLP DOI BibTeX RDF
13	Steven Vanduffel, Jing Yao	A stein type lemma for the multivariate generalized hyperbolic distribution.	Eur. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
13	Josef Berger, Helmut Schwichtenberg	A bound for Dickson's lemma.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Ulrich Abel, Linda Beukemann, Vitaliy Kushnirevych	Rolling Curves: An Old Proof of the Roulette Lemma.	Am. Math. Mon.	2017	DBLP BibTeX RDF
13	Natalia M. Novikova, Irina I. Pospelova	A lemma in open sequential voting by veto.	Math. Soc. Sci.	2017	DBLP DOI BibTeX RDF
13	Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder 0001	Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655].	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
13	Mingtian Li, Jihua Ma	Bowen Lemma in the Countable Symbolic Space.	Entropy	2017	DBLP DOI BibTeX RDF
13	Gabriel Haeser	An Extension of Yuan's Lemma and Its Applications in Optimization.	J. Optim. Theory Appl.	2017	DBLP DOI BibTeX RDF
13	Maciej Obremski, Maciej Skorski	Inverted Leftover Hash Lemma.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
13	Zhenhua Jiao, Guoqiang Tian	The Blocking Lemma and strategy-proofness in many-to-many matchings.	Games Econ. Behav.	2017	DBLP DOI BibTeX RDF
13	Dmitry Kopitkov, Vadim Indelman	No belief propagation required: Belief space planning in high-dimensional state spaces via factor graphs, the matrix determinant lemma, and re-use of calculation.	Int. J. Robotics Res.	2017	DBLP DOI BibTeX RDF
13	Dawei Gong, Frank L. Lewis, Liping Wang, Dong Dai, Shuang Zhang	Pinning Synchronization for Complex Networks with Interval Coupling Delay by Variable Subintervals Method and Finsler's Lemma.	Complex.	2017	DBLP DOI BibTeX RDF
13	Tim Smith	A new pumping lemma for indexed languages, with an application to infinite words.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
13	Arunima Ray, Daniel Ruberman	Four-dimensional analogues of Dehn's lemma.	J. Lond. Math. Soc.	2017	DBLP DOI BibTeX RDF
13	Niranjan Balachandran, Sajith Padinhatteeri	χD(G), \|Aut(G)\|, and a variant of the Motion Lemma.	Ars Math. Contemp.	2017	DBLP DOI BibTeX RDF
13	Glenn Hurlbert	The Weight Function Lemma for graph pebbling.	J. Comb. Optim.	2017	DBLP DOI BibTeX RDF
13	Bernhard Haeupler, David G. Harris 0001	Parallel algorithms and concentration bounds for the Lovász Local Lemma via witness-DAGs.	SODA	2017	DBLP DOI BibTeX RDF
13	Jacob Fox, László Miklós Lovász	A tight bound for Green's arithmetic triangle removal lemma in vector spaces.	SODA	2017	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Deterministic parallel algorithms for fooling polylogarithmic juntas and the Lovász Local Lemma.	SODA	2017	DBLP DOI BibTeX RDF
13	Rafael Martínez-Guerra, Lizbeth Sanchez-Flores	Some remarks on Gronwall-Bellman Lemma for stabilization of input-affine systems.	CCE	2017	DBLP DOI BibTeX RDF
13	András Pal Gilyén, Or Sattath	On Preparing Ground States of Gapped Hamiltonians: An Efficient Quantum Lovász Local Lemma.	FOCS	2017	DBLP DOI BibTeX RDF
13	Kun He 0011, Liang Li, Xingwu Liu, Yuyi Wang 0001, Mingji Xia	Variable-Version Lovász Local Lemma: Beyond Shearer's Bound.	FOCS	2017	DBLP DOI BibTeX RDF
13	Kasper Green Larsen, Jelani Nelson	Optimality of the Johnson-Lindenstrauss Lemma.	FOCS	2017	DBLP DOI BibTeX RDF
13	James Dannatt, Ian R. Petersen	A riccati equation negative imaginary lemma for singular negative imaginary systems.	ASCC	2017	DBLP DOI BibTeX RDF
13	Karina A. Barbosa, Daniel Ferreira Coutinho, Carlos E. de Souza, Carlos Rodriguez	Bounded real lemma for discrete linear time-varying descriptor systems.	ASCC	2017	DBLP DOI BibTeX RDF
13	Kazuyuki Asada, Naoki Kobayashi 0001	Pumping Lemma for Higher-order Languages.	ICALP	2017	DBLP DOI BibTeX RDF
13	Ryan James Caverly, James Richard Forbes	Regional pole and zero placement with static output feedback via the Modified Minimum Gain Lemma.	ACC	2017	DBLP DOI BibTeX RDF
13	Carlos Domingo Castillo, Soham De, Xintong Han, Bharat Singh, Abhay Kumar Yadav, Tom Goldstein	Son of Zorn's lemma: Targeted style transfer using instance-aware semantic segmentation.	ICASSP	2017	DBLP DOI BibTeX RDF
13	Laurent Bienvenu, Rutger Kuyper	Parallel and Serial Jumps of Weak Weak König's Lemma.	Computability and Complexity	2017	DBLP DOI BibTeX RDF
13	Cheuk Ting Li, Abbas El Gamal	Strong functional representation lemma and applications to coding theorems.	ISIT	2017	DBLP DOI BibTeX RDF
13	Jingbo Liu, Ramon van Handel, Sergio Verdú	Beyond the blowing-up lemma: Sharp converses via reverse hypercontractivity.	ISIT	2017	DBLP DOI BibTeX RDF
13	Castor Aranda, Marcel Fernandez	Improved existence bounds on IPP codes using the Clique Lovász Local Lemma.	ISIT	2017	DBLP DOI BibTeX RDF
13	Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos	Learning lemma support graphs in Quip and IC3.	IVSW	2017	DBLP DOI BibTeX RDF
13	Kent Kwee, Friedrich Otto	A Pumping Lemma for Ordered Restarting Automata.	DCFS	2017	DBLP DOI BibTeX RDF
13	Manuela Fischer, Mohsen Ghaffari 0001	Sublogarithmic Distributed Algorithms for Lovász Local Lemma, and the Complexity Hierarchy.	DISC	2017	DBLP DOI BibTeX RDF
13	Manuel de la Sen	About the Kalman-Yakubovich-Popov Lemma and non-minimal state-space realizations.	MED	2017	DBLP DOI BibTeX RDF
13	Zhuoran Yang, Krishnakumar Balasubramanian 0002, Zhaoran Wang 0001, Han Liu 0001	Estimating High-dimensional Non-Gaussian Multiple Index Models via Stein's Lemma.	NIPS	2017	DBLP BibTeX RDF
13	Oumaima Zine, Abdelouafi Meziane, Mohamed Boudchiche	Towards a High-Quality Lemma-Based Text to Speech System for the Arabic Language.	ICALP	2017	DBLP DOI BibTeX RDF
13	Nanao Kita	Structure of Towers and a New Proof of the Tight Cut Lemma.	COCOA (1)	2017	DBLP DOI BibTeX RDF
13	Ankur Moitra	Approximate counting, the Lovasz local lemma, and inference in graphical models.	STOC	2017	DBLP DOI BibTeX RDF
13	Heng Guo 0001, Mark Jerrum, Jingcheng Liu 0001	Uniform sampling through the Lovasz local lemma.	STOC	2017	DBLP DOI BibTeX RDF
13	Valentine Kabanets, Daniel M. Kane, Zhenjian Lu	A polynomial restriction lemma with applications.	STOC	2017	DBLP DOI BibTeX RDF
13	Murat A. Erdogdu	Generalized Hessian approximations via Stein's lemma for constrained minimization.	ITA	2017	DBLP DOI BibTeX RDF
13	Ismail Er Rachid, Abdelaziz Hmamed, Badreddine El Haiek	Stability of 2-D continuous systems in roesser model based on KYP lemma.	SDD	2017	DBLP DOI BibTeX RDF
13	Yuma Koizumi, Shoichiro Saito, Hisashi Uematsu, Noboru Harada	Optimizing acoustic feature extractor for anomalous sound detection based on Neyman-Pearson lemma.	EUSIPCO	2017	DBLP DOI BibTeX RDF
13	Pandelis Dodos, Vassilis Kanellopoulos, Thodoris Karageorgos	Szemerédi's Regularity Lemma via Martingales.	Electron. J. Comb.	2016	DBLP DOI BibTeX RDF
13	Murat A. Erdogdu	Newton-Stein Method: An Optimization Method for GLMs via Stein's Lemma.	J. Mach. Learn. Res.	2016	DBLP BibTeX RDF
13	Asier Estevan	Generalized Debreu's Open Gap Lemma and Continuous Representability of Biorders.	Order	2016	DBLP DOI BibTeX RDF
13	Anush Tserunyan	A Ramsey Theorem on Semigroups and a General van der Corput Lemma.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
13	Joseph A. Ball, Gilbert J. Groenewald, Sanne ter Horst	Bounded real lemma and structured singular value versus diagonal scaling: the free noncommutative setting.	Multidimens. Syst. Signal Process.	2016	DBLP DOI BibTeX RDF
13	Roland Coghetto	Cousin's Lemma.	Formaliz. Math.	2016	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Lopsidependency in the Moser-Tardos Framework: Beyond the Lopsided Lovász Local Lemma.	ACM Trans. Algorithms	2016	DBLP DOI BibTeX RDF
13	Jean-Christophe Aval, Michele D'Adderio, Mark Dukes, Yvan Le Borgne	Two operators on sandpile configurations, the sandpile model on the complete bipartite graph, and a Cyclic Lemma.	Adv. Appl. Math.	2016	DBLP DOI BibTeX RDF
13	Gnaneswaran Nagamani, S. Ramasamy	Dissipativity and passivity analysis for discrete-time T-S fuzzy stochastic neural networks with leakage time-varying delays based on Abel lemma approach.	J. Frankl. Inst.	2016	DBLP DOI BibTeX RDF
13	Xiaofu Ji, Hongye Su	An Extension of Petersen's Lemma on Matrix Uncertainty.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
13	Anders Rantzer	On the Kalman-Yakubovich-Popov Lemma for Positive Systems.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF