Search results for "Grammar"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Pavel Smrz, Ales Horák	Probabilistic Head-Driven Chart Parsing of Czech Sentences.	TSD	2000	DBLP DOI BibTeX RDF
12	Michael G. Malkovsky, Alexey V. Subbotin	NL-Processor and Linguistic Knowledge Base in a Speech Recognition System.	TSD	2000	DBLP DOI BibTeX RDF
12	Víctor M. Jiménez, Andrés Marzal	Computation of the N Best Parse Trees for Weighted and Stochastic Context-Free Grammars.	SSPR/SPR	2000	DBLP DOI BibTeX RDF	Weighted Context-Free Grammars, CYK Algorithm, N Best Parse Trees, Stochastic Context-Free Grammars
12	Bernd Hildebrandt, Alois C. Knoll, Christian Scheering, Jianwei Zhang 0001	Ein Situierter Künstlicher Kommunikator für Konstruktionsaufgaben.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
12	Karl Branting	A generative model of narrative cases.	ICAIL	1999	DBLP DOI BibTeX RDF
12	Adam Cannane, Hugh E. Williams, Justin Zobel	A General-Purpose Compression Scheme for Databases.	Data Compression Conference	1999	DBLP DOI BibTeX RDF
12	Bruno Courcelle	Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.	RTA	1999	DBLP DOI BibTeX RDF
12	Santiago García Carbajal, Fermín González Martinez, Luciano Sánchez	Evolving Fuzzy Rule Based Classifiers with GA-P: A Grammatical Approach.	EuroGP	1999	DBLP DOI BibTeX RDF
12	Pavel Smrz, Ales Horák	Implementation of Efficient and Portable Parser for Czech.	TSD	1999	DBLP DOI BibTeX RDF
12	Enrique Alfonseca	Writing a compilers compiler in APL.	APL	1998	DBLP DOI BibTeX RDF
12	Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer	The Template and Multiple Inheritance Approach into Attribute Grammars.	ICCL	1998	DBLP DOI BibTeX RDF	language specifications, attribute grammars, compiler Generators
12	Bettina Sucrow	Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules.	FASE	1998	DBLP DOI BibTeX RDF
12	Peter A. Walker, Sumit Ghosh	On the nature and inadequacies of transport timing delay constructs in VHDL descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
12	Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, Genoveffa Tortora	A Parsing Methodology for the Implementation of Visual Systems.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	multidimensional grammars, visual parser generation, pLR parsing, flow-graph languages, Visual programming environments
12	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Verifying Parameterized Networks.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	process invariants, model checking, temporal logic, parameterized systems
12	Sébastien Limet, Pierre Réty	E-Unification by Means of Tree Tuple Synchronized Grammars.	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	Konstantin Skodinis	The Bounded Tree-Width Problem of Context-Free Graph Languages.	WG	1997	DBLP DOI BibTeX RDF
12	Jae Kyu Lee, Woongkyu Lee	Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach.	HICSS (4)	1997	DBLP DOI BibTeX RDF
12	Jens Michaelis, Marcus Kracht	Semilinearity as a Syntactic Invariant.	LACL	1996	DBLP DOI BibTeX RDF
12	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Truly Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
12	Pascal Fradet, Daniel Le Métayer	Type Checking for a Multiset Rewriting Language.	LOMAPS	1996	DBLP DOI BibTeX RDF	multiset rewriting, verification, invariant, graph grammars, type checking
12	Derick Wood	Standard Generalized Markup Language: Mathematical and Philosophical Issues.	Computer Science Today	1995	DBLP DOI BibTeX RDF
12	Sei'ichi Tani, Koichi Yamazaki	Learning of Restricted RNLC Graph Languages.	ISAAC	1995	DBLP DOI BibTeX RDF
12	Gerhard Viehstaedt, Mark Minas	Graphical Representation and Manipulation of Complex Structures Based on a Formal Model	CAiSE	1995	DBLP DOI BibTeX RDF
12	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Veryfying Parameterized Networks using Abstraction and Regular Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
12	Mikkel Thorup	Controlled Grammatic Ambiguity.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	grammatic ambiguity, semantic unambiguity
12	Gilles Roussel 0001, Didier Parigot, Martin Jourdan	Coupling Evaluators for Attribute Coupled Grammars.	CC	1994	DBLP DOI BibTeX RDF
12	Gennaro Costagliola, Andrea De Lucia, Sergio Orefice	Towards Efficient Parsing of Diagrammatic Languages.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
12	Andrey Burago	Learning Structurally Reversible Context-Free Grammars from Queries and Counterexamples in Polynomial Time.	COLT	1994	DBLP DOI BibTeX RDF
12	Yoram Hirshfeld, Faron Moller	A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
12	Scotte Zinn, Michael H. Coffin	Efficient event generation for detecting races.	CASCON	1993	DBLP BibTeX RDF
12	Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andy Schürr	Building Integrated Software Development Environments Part I: Tool Specification.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	environment generators, attribute grammars, graph grammars, attributed graphs
12	Tibor Gyimóthy, Zoltán Alexin, Róbert Szücs	Integrated Graphics Environment to Develop Applications Based on Attribute Grammars.	CC	1992	DBLP DOI BibTeX RDF
12	Gustaf Neumann	A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.	RCLP	1991	DBLP DOI BibTeX RDF
12	Annika Aasa	Precedences in Specifications and Implementations of Programming Languages. (long version: TCS 142(1): 3-26 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
12	Bruce Loatman	PRC Inc.: description of the PAKTUS system used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
12	Panagiotis Trahanias, Emmanuel Skordalakis	Syntactic Pattern Recognition of the ECG.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	syntactic method, parameter measurement, linguistic representation, pattern recognition, computerised pattern recognition, grammars, ECG, electrocardiogram, computational linguistics, attribute grammars, semantic information, medical diagnostic computing, electrocardiography
12	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
12	Yiming Ye, Zhao-Xiong Chen, Xiong Zhang, Qinshi Gao	IMT-RB/ED: A System Based on Multi-Reorganization (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
12	Masataka Sassa	Rie and Jun: Towards the Generation of all Compiler Phases.	CC	1990	DBLP DOI BibTeX RDF
12	Harald Vogt, Aswin van den Berg, Arend Freije	Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations.	WAGA	1990	DBLP DOI BibTeX RDF
12	Lex Augusteijn	The Elegant Compiler Generator System.	WAGA	1990	DBLP DOI BibTeX RDF
12	Ben Pinkowski	A rule-based approach for simulation errors in discrete sequential processes.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF
12	Annegret Habel, Hans-Jörg Kreowski	Filtering Hyperedge-Replacement Through Compatible Properties.	WG	1989	DBLP DOI BibTeX RDF
12	Daniel J. Salomon, Gordon V. Cormack	Scannerless NSLR(1) Parsing of Programming Languages.	PLDI	1989	DBLP DOI BibTeX RDF
12	Steven K. Goering, Simon M. Kaplan	Visual Concurrent Object-Based Programming in GARP.	PARLE (2)	1989	DBLP DOI BibTeX RDF
12	Robert L. Nord, Frank Pfenning	The Ergo Attribute System.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	LISP
12	David W. Cordes, Doris L. Carver	Generating a requirements specifications knowledge-base.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
12	Isabelle Attali	Compiling TYPOL with Attribute Grammars.	PLILP	1988	DBLP DOI BibTeX RDF
12	Pierre Deransart, Jan Maluszynski	A Grammatical View of Logic Programming.	PLILP	1988	DBLP DOI BibTeX RDF
12	Görel Hedin	Incremental Attribute Evaluation with Side-effects.	CC	1988	DBLP DOI BibTeX RDF
12	Tibor Gyimóthy, Tamás Horváth 0001, Ferenc Kocsis, János Toczki	Incremental Algorithms in Prof-LP.	CC	1988	DBLP DOI BibTeX RDF	attribute grammars, software generation, incremental parsing
12	Kurt Nørmark	MUIR - a Language Development Environment.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF
12	Viliam Geffert	Context-Free-Like Forms for the Phrase-Structure Grammars.	MFCS	1988	DBLP DOI BibTeX RDF
12	Frank Naeymi-Rad, Lowell A. Carmony, David A. Trace, Christine Georgakis, Max Harry Weil, Martha W. Evens	A Relational Database Design in Support of Standard Medical Terminology in Multi-domain Knowledge Bases.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
12	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	PLDI	1988	DBLP DOI BibTeX RDF
12	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural slicing using dependence graphs (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
12	Volker Diekert, Axel Möbus	Hotz-Isomorphism Theorems in Formal Language Theory.	STACS	1988	DBLP DOI BibTeX RDF
12	Manuel E. Bermudez	A unifying model for lookahead LR parsing.	ICCL	1988	DBLP DOI BibTeX RDF
12	Teodor Rus, John P. Le Peau	Language specification by multi-axiom grammars.	ICCL	1988	DBLP DOI BibTeX RDF
12	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
12	Yoshifumi Ooyama, Masahiro Miyazaki, Satoru Ikehara	Natural language processing in a Japanese text-to-speech system.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
12	Annegret Habel, Hans-Jörg Kreowski	Pretty Patterns Produced by Hyperedge Replacement.	WG	1987	DBLP DOI BibTeX RDF
12	Thomas J. Sager	A Short Proof of a Conjecture of DeRemer and Pennello.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
12	Manuel E. Bermudez, Karl M. Schimpf	A practical arbitrary look-ahead LR parsing technique.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
12	Thomas W. Reps, Carla Marceau, Tim Teitelbaum	Remote Attribute Updating for Language-Based Editors.	POPL	1986	DBLP DOI BibTeX RDF
12	Eva-Martin Mueckstein	Controlled natural language interfaces (extended abstract): the best of three worlds.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
12	Colette Rolland	Intelligent interface for data base design (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
12	Rodney Farrow	LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
12	John Case, Christopher Lynes	Machine Inductive Inference and Language Identification.	ICALP	1982	DBLP DOI BibTeX RDF
12	Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker	Systematically derived instruction sets for high-level language support.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design
12	Esko Ukkonen	On Size Bounds for Deterministic Parsers.	ICALP	1981	DBLP DOI BibTeX RDF	size complexity, left parser, right parser, LL(k) parsing, LR(k) parsing
12	Seppo Sippu, Eljas Soisalon-Soininen	Characterizations of the LL(k) Property.	ICALP	1980	DBLP DOI BibTeX RDF
12	Hans-Jörg Kreowski	A Comparison Between Petri-Nets and Graph Grammars.	WG	1980	DBLP DOI BibTeX RDF
12	D. R. Milton, L. W. Kirchhoff, B. R. Rowland	An all(1) compiler generator.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
12	Ajit B. Pai, Richard B. Kieburtz	Global context recovery: A new strategy for parser recovery from syntax errors.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
12	Neil D. Jones, Steven S. Muchnick	Flow Analysis and Optimization of Lisp-Like Structures.	POPL	1979	DBLP DOI BibTeX RDF
12	Mary Woodyard	Characterizing a subset of natural language.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
12	Peter Ruzicka	Validity Test for Floyd's Operator-Precedence Parsing Algorithms.	MFCS	1979	DBLP DOI BibTeX RDF
12	Anton Nijholt	On the Parsing and Covering of Simple Chain Grammars.	ICALP	1978	DBLP DOI BibTeX RDF
12	Alan J. Demers	Generalized Left Corner Parsing.	POPL	1977	DBLP DOI BibTeX RDF
12	Franz-Josef Brandenburg	The Contextsensitivity Bounds of Contextsensitive Grammars and Languages.	ICALP	1977	DBLP DOI BibTeX RDF
12	Roland Strobel	Some automatic transformations of CF-Grammars.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
12	Jan van Leeuwen	A Generalisation of Parikh's Theorem in Formal Language Theory.	ICALP	1974	DBLP DOI BibTeX RDF
12	Richard I. Shrager	Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method.	J. ACM	1970	DBLP DOI BibTeX RDF
12	Alan C. Shaw	Parsing of Graph-Representable Pictures.	J. ACM	1970	DBLP DOI BibTeX RDF
12	Helen V. Braden, William A. Wulf	The implementation of a BASIC system in a multiprogramming environment.	Commun. ACM	1968	DBLP DOI BibTeX RDF	incremental compilation compilers, compilers, interpreters, multiprogramming
12	Stephen H. Unger	A global parser for context-free phrase structure grammars.	Commun. ACM	1968	DBLP DOI BibTeX RDF	syntax-directed compiler, translators, context-free grammars, parser, syntactic analysis
12	Larry Irwin	Implementing phrase-structure productions in PL/I.	Commun. ACM	1967	DBLP DOI BibTeX RDF
12	R. Narasimhan	Syntax-directed interpretation of classes of pictures.	Commun. ACM	1966	DBLP DOI BibTeX RDF
12	Luigi Petrone, Carlo E. Vandoni	Integer and signed constants in ALGOL.	Commun. ACM	1964	DBLP DOI BibTeX RDF
12	Robert W. Floyd	Bounded context syntactic analysis.	Commun. ACM	1964	DBLP DOI BibTeX RDF
10	Abisola Olayiwola, Dare Olayiwola, Ajibola Oyedeji	Development of an automatic grammar checker for Yorùbá word processing using Government and Binding Theory.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
10	Ming Wu, Rui Geng, Qiong Guo	Research on the Application of Cement Tile Patterns Based on Shape Grammar.	Symmetry	2024	DBLP DOI BibTeX RDF
10	Jimmy H. M. van Rijt	Learning how to think like a linguist: Linguistic reasoning as a focal point in L1 grammar education.	Lang. Linguistics Compass	2024	DBLP DOI BibTeX RDF
10	Carol Rose Little	Impersonal morphosyntax in generative grammar.	Lang. Linguistics Compass	2024	DBLP DOI BibTeX RDF
10	Yiru Zhao, Long Gao, Qihan Wan, Lei Zhao	Grammar-aware test case trimming for efficient hybrid fuzzing.	J. King Saud Univ. Comput. Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Matthew Kay 0001	ggdist: Visualizations of Distributions and Uncertainty in the Grammar of Graphics.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
10	Gustavo Moreira, Maryam Hosseini, Md Nafiul Alam Nipu, Marcos Lage, Nivan Ferreira, Fabio Miranda 0001	The Urban Toolkit: A Grammar-Based Framework for Urban Visual Analytics.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
10	Wen-Jun Hou, Ge-Xin Guo, Yi-Ting Cheng	Multimodal Interaction Grammar Analysis Based on Two-Stage User-Based Elicitation in 3D Modeling.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF