Search results for "kleene-closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Eric Allender, Vikraman Arvind, Meena Mahajan	Arithmetic Complexity, Kleene Closure, and Formal Power Series.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
80	Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Neil Immerman	On Supporting Kleene Closure over Event Streams.	ICDE	2008	DBLP DOI BibTeX RDF
68	Barzan Mozafari, Kai Zeng 0002, Carlo Zaniolo	K*SQL: a unifying engine for sequence patterns and XML.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	kleene-closure, sequence queries, sql, pattern matching, xpath
66	Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit	Closures in Formal Languages and Kuratowski's Theorem.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
35	Yuan Mei, Samuel Madden 0001	ZStream: a cost-based query processor for adaptively detecting composite events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimization, algorithm, streaming, complex event processing
28	Lulu Yang, Tenglong Ren, Xiaowang Zhang, Fan Feng, Guopeng Zheng	Optimization of Kleene Closure Regular Path Query Processing Based on Node Clustered Index.	ISWC (Posters/Demos/Industry)	2022	DBLP BibTeX RDF
28	Matús Palmovský	Kleene closure and state complexity.	RAIRO Theor. Informatics Appl.	2016	DBLP DOI BibTeX RDF
28	Galina Jirásková, Matús Palmovský, Juraj Sebej	Kleene Closure on Regular and Prefix-Free Languages.	CIAA	2014	DBLP DOI BibTeX RDF
28	Eric Allender, Vikraman Arvind, Meena Mahajan	Comments on Arithmetic Complexity, Kleene Closure, and Formal Power Series.	Theory Comput. Syst.	2013	DBLP DOI BibTeX RDF
28	Galina Jirásková, Matús Palmovský	Kleene Closure and State Complexity.	ITAT	2013	DBLP BibTeX RDF
28	Eric Allender, Vikraman Arvind, Meena Mahajan	Arithmetic Complexity, Kleene Closure, and Formal Power Series	Electron. Colloquium Comput. Complex.	1999	DBLP BibTeX RDF
28	Jürgen Dassow, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa	Regularizing Context-Free Languages by AFL Operations: Concatenation and Kleene Closure.	Acta Cybern.	1992	DBLP BibTeX RDF
28	Ahmed Saoudi	Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets.	MFCS	1989	DBLP DOI BibTeX RDF
28	Maurice Nivat, Ahmed Saoudi	Automata on infinite trees and Kleene closure of regular tree sets.	Bull. EATCS	1988	DBLP BibTeX RDF
28	Edward T. Lee	An efficient algorithm for finding kleene closure of regular expression matrices.	Int. J. Parallel Program.	1982	DBLP DOI BibTeX RDF
24	Jianliang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga	A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	alternating pushdown automata, 1-inkdot, sublogarithmic space, closure property
17	Szilárd Zsolt Fazekas	Powers of Regular Languages.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
17	Carlo Zaniolo	Time Versus Standards: A Tale of Temporal Databases.	ER Workshops	2008	DBLP DOI BibTeX RDF
17	Daowen Qiu	Notes on automata theory based on quantum logic.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	orthomodular lattices, quantum computing, automata, quantum logic
17	Maxime Crochemore, Raffaele Giancarlo, Marie-France Sagot	Longest Motifs with a Functionally Equivalent Central Block.	SPIRE	2004	DBLP DOI BibTeX RDF
17	Corinna Cortes, Patrick Haffner, Mehryar Mohri	Positive Definite Rational Kernels.	COLT	2003	DBLP DOI BibTeX RDF
17	Gertjan van Noord, Dale Gerdemann	An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing.	WIA	1999	DBLP DOI BibTeX RDF
17	Wuxu Peng, S. Purushothaman	Empty Stack Pushdown Omega-Tree Automata.	CAAP	1992	DBLP DOI BibTeX RDF
17	Edward T. Lee	Applications of fuzzy languages and pictorial databases to decision support systems design.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
17	Sorin Istrail	A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.	ICALP	1979	DBLP DOI BibTeX RDF