Search results for "regular grammar"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
2	Meinolf Sellmann	The Theory of Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF	regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
2	Stéphane Demri, Hans de Nivelle	Deciding Regular Grammar Logics with Converse Through First-Order Logic.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
2	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Shi Wang, Wen Gao, Jintao Li	Discovering Sequence Association Rules with User Access Transaction Grammars. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	sequence association rule discovery, user access transaction grammars, access sequences, user access transactions, user access transaction grammar, user sequence access transactions, association rule discovery algorithm, sequence association rules, data mining, mutual information, Web server, Web site, Web site designer, user access patterns, regular grammar
2	Bruce W. Watson	A New Regular Grammar Pattern Matching Algorithm.	ESA	1996	DBLP DOI BibTeX RDF
2	Francisco Casacuberta	Some Relations Among Stochastic Finite State Networks Used in Automatic Speech Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	stochastic finite state networks, observation probability distribution, stochastic regular grammar, hidden Markov models, speech recognition, Markov processes, formal languages, stochastic processes, grammars, automatic speech recognition, formal language theory
2	Yujiun P. Wang, Theodosios Pavlidis	Optimal Correspondence of String Subsequences.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	string-to-string subsequence, string-to-regular-expression subsequence, string subsequences, optimal correspondent subsequence, finite alphabet editing error minimization matching, infinite alphabet penalty minimization matching, syntactic information, stereo epipolar line matching problem, UPC bar-code recognition, pattern recognition, computational complexity, computational complexity, metric, optimisation, template matching, relaxation, elastic matching, string distance, regular grammar
1	Deepak Arora, Bramah Hazela, Vipin Saxena	Semantics for UML model transformation and generation of regular grammar.	ACM SIGSOFT Software Engineering Notes	2012	DBLP DOI BibTeX RDF
1	Linh Anh Nguyen, Andrzej Szalas	ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Fevzi Belli, Mutlu Beyazit	A Formal Framework for Mutation Testing.	SSIRI	2010	DBLP DOI BibTeX RDF	(model-based) mutation testing, formal/regular grammar, manipulation operator, test generation, directed graph, test coverage
1	María Ros, Miguel Delgado, María Amparo Vila Miranda	An Ambient Intelligent Approach to Control Behaviours on a Tagged World.	IWANN	2009	DBLP DOI BibTeX RDF	Tagged World, Data Mining, Behaviour, Regular Grammar
1	Linh Anh Nguyen	Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.	Logic Journal of the IGPL	2008	DBLP DOI BibTeX RDF
1	Thomas Triebsees, Uwe M. Borghoff	Towards automatic document migration: semantic preservation of embedded queries.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	automated document migration, link consistency, query processing, digital preservation
1	Kyungeun Cho, Hyungje Cho, Kyhyun Um	Inferring Stochastic Regular Grammar with Nearness Information for Human Action Recognition.	ICIAR	2006	DBLP DOI BibTeX RDF
1	Li Sheng, Yongming Li	Regular grammars with truth values in lattice-ordered monoid and their languages.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy finite automata, Fuzzy regular grammar, Fuzzy regular language, Lattice-ordered monoid
1	Mare Koit, Maret Valdisoo, Olga Gerassimenko, Tiit Hennoste, Riina Kasterpalu, Andriela Rääbis, Krista Strandson	Processing of Requests in Estonian Institutional Dialogues: Corpus Analysis.	TSD	2006	DBLP DOI BibTeX RDF
1	Savitha Srinivasan, Arnon Amir, Prasad Deshpande, Vladimir Zbarsky	On business activity modeling using grammars.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	data mining, web log analysis
1	Matej Crepinsek, Marjan Mernik, Viljem Zumer	Extracting grammar from programs: brute force approach.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	learning from positive and negative examples, exhaustive search, grammar induction, grammar inference
1	Savitha Srinivasan, Arnon Amir, Prasad M. Deshpande, Vladimir Zbarsky	Grammar-based task analysis of web logs.	CIKM	2004	DBLP DOI BibTeX RDF	data mining, pattern detection, web logs analysis, regular grammar
1	Bruce W. Watson	A new regular grammar pattern matching algorithm.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Stéphane Demri, Hans de Nivelle	Deciding regular grammar logics with converse through first-order logic	CoRR	2003	DBLP BibTeX RDF
1	Tapas Kanungo, Song Mao	Stochastic language models for style-directed layout analysis of document images.	IEEE Transactions on Image Processing	2003	DBLP DOI BibTeX RDF
1	Xiangrui Wang, Narendra S. Chaudhari	Classification Automaton and Its Construction Using Learning.	Canadian Conference on AI	2003	DBLP DOI BibTeX RDF
1	Tapio Elomaa	Partition-Refining Algorithms for Learning Finite State Automata.	ISMIS	2002	DBLP DOI BibTeX RDF
1	Ahmed M. Elgammal, Mohamed A. Ismail	A Graph-Based Segmentation and Feature-Extraction Framework for Arabic Text Recognition. (PDF / PS)	ICDAR	2001	DBLP DOI BibTeX RDF
1	Kazuhiro Kuroda, Ken Harada, Masafumi Hagiwara	Large scale on-line handwritten Chinese character recognition using successor method based on stochastic regular grammar.	Pattern Recognition	1999	DBLP DOI BibTeX RDF
1	Marco Maggini	Recursive Neural Networks and Automata.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
1	Bruce W. Watson	A Collection of New Regular Grammar Pattern Matching Algorithms.	Stringology	1996	DBLP BibTeX RDF
1	Rajesh Parekh, Vasant Honavar	An Incremental Interactive Algorithm for Regular Grammar Inference.	AAAI/IAAI, Vol. 2	1996	DBLP BibTeX RDF
1	Leonard Pitt, Manfred K. Warmuth	The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial.	J. ACM	1993	DBLP DOI BibTeX RDF	minimization of finite state machines, approximation algorithms, nonapproximability
1	Kurt R. Smith, Michael I. Miller	Bayesian Inference of Regular Grammar and Markov Source Models.	NIPS	1989	DBLP BibTeX RDF
1	Thomas Ottmann, Arto Salomaa, Derick Wood	Sub-Regular Grammar Forms.	Inf. Process. Lett.	1981	DBLP DOI BibTeX RDF
1	Jan van Leeuwen	A Generalisation of Parikh's Theorem in Formal Language Theory.	ICALP	1974	DBLP DOI BibTeX RDF