Search results for "syntax"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Jiaxun Cai, Shexia He, Zuchao Li, Hai Zhao 0001	A Full End-to-End Semantic Role Labeler, Syntax-agnostic Over Syntax-aware?	CoRR	2018	DBLP BibTeX RDF
22	Eddie Antonio Santos, Joshua Charles Campbell, Dhvani Patel, Abram Hindle, José Nelson Amaral	Syntax and sensibility: Using language models to detect and correct syntax errors.	SANER	2018	DBLP DOI BibTeX RDF
22	Philip Wilkinson, Alistair Mavin	Deriving Mitigation Requirements with Easy Approach to Requirements Syntax.	EARS@RE	2018	DBLP DOI BibTeX RDF
22	Topi Tahvonen, Eero Uusitalo	Easy Approach to Requirements Syntax in Nuclear Power Plant Safety Design.	EARS@RE	2018	DBLP DOI BibTeX RDF
22	Norihiro Urushibara, Chiharu Sasaki	Integration of Two Kinds of Syntax for Requirements Description and Its Future Development.	EARS@RE	2018	DBLP DOI BibTeX RDF
22	Corentin Ribeyre	Méthodes d'analyse supervisée pour l'interface syntaxe-sémantique : De la réécriture de graphes à l'analyse par transitions. (Data-driven methods for syntax-semantic interface / Data-driven methods for syntax-semantic interface : From graph rewriting to transition-based parsing).		2016	RDF
22	W. A. Shellington, Thorna O. Humphries, Rasha Morsi, Mona E. Rizvi	Syntax circuitry: A mobile game for practicing programming language syntax.	FIE	2015	DBLP DOI BibTeX RDF
22	Luis Quesada 0002, Fernando Berzal, Juan Carlos Cubero Talavera	A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings.	MODELSWARD	2014	DBLP DOI BibTeX RDF
22	Hideya Mino, Taro Watanabe, Eiichiro Sumita	Syntax-Augmented Machine Translation using Syntax-Label Clustering.	EMNLP	2014	DBLP DOI BibTeX RDF
22	Rasoul Kaljahi, Jennifer Foster, Johann Roturier	Syntax and Semantics in Quality Estimation of Machine Translation.	SSST@EMNLP	2014	DBLP BibTeX RDF
22	Matthias Huck, Hieu Hoang, Philipp Koehn	Preference Grammars and Soft Syntactic Constraints for GHKM Syntax-based Statistical Machine Translation.	SSST@EMNLP	2014	DBLP BibTeX RDF
22	Yuto Hatakoshi, Graham Neubig, Sakriani Sakti, Tomoki Toda, Satoshi Nakamura 0001	Rule-based Syntactic Preprocessing for Syntax-based Machine Translation.	SSST@EMNLP	2014	DBLP BibTeX RDF
22	Luis Quesada 0002, Fernando Berzal, Juan C. Cubero	A DSL for Mapping Abstract Syntax Models to Concrete Syntax Models in ModelCC	CoRR	2013	DBLP BibTeX RDF
22	Luis Quesada 0002, Fernando Berzal, Juan C. Cubero	A Model-Driven Parser Generator, from Abstract Syntax Trees to Abstract Syntax Graphs	CoRR	2012	DBLP BibTeX RDF
22	Hossein Tohidi, Hamidah Ibrahim, Masrah Azrifah Azmi Murad	Statistical Character-Based Syntax Similarity Measurement for Detecting Biomedical Syntax Variations through Named Entity Recognition.	NDT	2011	DBLP DOI BibTeX RDF
22	Greg Hanneman, Alon Lavie	Automatic Category Label Coarsening for Syntax-Based Machine Translation.	SSST@ACL	2011	DBLP BibTeX RDF
22	Yvette Graham, Josef van Genabith	Deep Syntax Language Models and Statistical Machine Translation.	SSST@COLING	2010	DBLP BibTeX RDF
22	Anders Søgaard, Jonas Kuhn	Empirical Lower Bounds on Aligment Error Rates in Syntax-Based Machine Translation.	SSST@HLT-NAACL	2009	DBLP BibTeX RDF
22	Greg Hanneman, Alon Lavie	Decoding with Syntactic and Non-Syntactic Phrases in a Syntax-Based Machine Translation System.	SSST@HLT-NAACL	2009	DBLP BibTeX RDF
22	Hongfei Jiang, Sheng Li 0003, Muyun Yang, Tiejun Zhao	A Study of Translation Rule Classification for Syntax-based Statistical Machine Translation.	SSST@HLT-NAACL	2009	DBLP BibTeX RDF
22	Noah A. Smith	Computational Approaches to Morphology and Syntax Brian Roark and Richard Sproat (Oregon Health and Science University and University of Illinois at Urbana-Champaign) Oxford: Oxford University Press (Oxford surveys in syntax and morphology, edited by Robert D. Van Valin Jr, volume 4), 2007, xx+316 pp; hardbound, ISBN 978-0-19-927477-2.	Comput. Linguistics	2008	DBLP DOI BibTeX RDF
22	Victoria Fossum, Kevin Knight, Steven P. Abney	Using Syntax to Improve Word Alignment Precision for Syntax-Based Machine Translation.	WMT@ACL	2008	DBLP BibTeX RDF
22	Martin Bravenboer	Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates.		2008	RDF
22	Alon Lavie, Alok Parlikar, Vamshi Ambati	Syntax-Driven Learning of Sub-Sentential Translation Equivalents and Translation Rules from Parsed Parallel Corpora.	SSST@ACL	2008	DBLP BibTeX RDF
22	Bowen Zhou, Bing Xiang, Xiaodan Zhu 0001, Yuqing Gao	Prior Derivation Models For Formally Syntax-Based Translation Using Linguistically Syntactic Parsing and Tree Kernels.	SSST@ACL	2008	DBLP BibTeX RDF
22	Anne Cregan, Rolf Schwitter, Thomas Meyer 0002	Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1.	OWLED	2007	DBLP BibTeX RDF
22	Wei Wang 0006, Kevin Knight, Daniel Marcu	Binarizing Syntax Trees to Improve Syntax-Based Machine Translation Accuracy.	EMNLP-CoNLL	2007	DBLP BibTeX RDF
22	Rebecca Nesson, Stuart M. Shieber	Extraction Phenomena in Synchronous TAG Syntax and Semantics.	SSST@HLT-NAACL	2007	DBLP BibTeX RDF
22	Bryant Huang, Kevin Knight	Relabeling Syntax Trees to Improve Syntax-Based Machine Translation Quality.	HLT-NAACL	2006	DBLP BibTeX RDF
22	Tamer Shanableh, Gus Reid	Syntax friendly and syntax amendment approaches to error resiliency in the MPEG-4 Simple Scalable Profile.	Signal Process. Image Commun.	2005	DBLP DOI BibTeX RDF
22	Ashwin Jadhav, R. Matthew Sailors	Structuring Healthcare Knowledge Bases: An Analysis of Explicit and Implicit Structures in Arden Syntax and An XML Schema Representation of Arden Syntax.	AMIA	2003	DBLP BibTeX RDF
22	Andromaque-Virginie Pantazara	Syntaxe dérivationnelle du grec moderne: Les constructions verbales à un complément prépositionnel et les constructions nominales et adjectivales prédicatives associées. (Derivational Syntax of Modern Greek / Derivational Syntax of Modern Greek: Verbal Constructions with one Prepositional Complement and the Related Nominal and Adjectival Predicative Constructions).		2003	RDF
22	R. Matthew Sailors	ArdenML: The Arden Syntax Markup Language (or Arden Syntax: It's Not Just Text Any More!).	AMIA	2001	DBLP BibTeX RDF
22	Francisco Casacuberta	Maximum mutual information and conditional maximum likelihood estimation of stochastic regular syntax-directed translation schemes.	ICGI	1996	DBLP DOI BibTeX RDF
22	Lisa F. Rubin	Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor.	IEEE Trans. Software Eng.	1983	DBLP DOI BibTeX RDF
22	Danny Crookes, R. Fee, V. Pickering	Building Syntax Graphs from Syntax Equations: A Case Study in Modular Programming.	Softw. Pract. Exp.	1983	DBLP DOI BibTeX RDF
22	Stefan Feyock, Paul Lazarus	Syntax-directed Correction of Syntax Errors.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
22	V. Frederick Rickey	Axiomatic inscriptional syntax. Part II. The syntax of protothetic.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
22	V. Frederick Rickey	Axiomatic inscriptional syntax. I. General syntax.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
21	Ruhsan Onder, Zeki Bayram	XLambda: A functional programming language with XML syntax.	ISCIS	2009	DBLP DOI BibTeX RDF
21	Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel	Model-driven analysis and synthesis of textual concrete syntax.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Language engineering, MDD, Meta-modeling, MDE
21	Daniel L. Moody, Jos van Hillegersberg	Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams.	SLE	2008	DBLP DOI BibTeX RDF
21	Clifton Kussmaul	Novel language syntax to enhance readability: white space, parameter sets, & control structures.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	infix objects, multiple parameter sets, white space, control structures
21	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
21	Alon Lavie	Stat-XFER: A General Search-Based Syntax-Driven Framework for Machine Translation.	CICLing	2008	DBLP DOI BibTeX RDF
21	Martin Bravenboer, Eelco Visser	Designing Syntax Embeddings and Assimilations for Language Libraries.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
21	Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh	A New Method for Describing the Syntax and Semantics of VIEWCHARTS.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
21	Neculai Curteanu, Diana Trandabat, Mihai Alex Moruz	Topic-Focus Articulation Algorithm on the Syntax-Prosody Interface of Romanian.	TSD	2007	DBLP DOI BibTeX RDF
21	Rainer Koschke, Raimar Falke, Pierre Frenzel	Clone Detection Using Abstract Syntax Suffix Trees.	WCRE	2006	DBLP DOI BibTeX RDF
21	Aggelos Kiayias, Antonina Mitrofanova	Syntax-Driven Private Evaluation of Quantified Membership Queries.	ACNS	2006	DBLP DOI BibTeX RDF
21	Mark Minas	Syntax analysis for diagram editors: a constraint satisfaction problem.	AVI	2006	DBLP DOI BibTeX RDF
21	Neil C. Audsley, Michael Ward	Syntax-driven implementation of software programming language control constructs and expressions on FPGAs.	CASES	2006	DBLP DOI BibTeX RDF	fpga, compilation, language
21	Paolo Bottoni, Paolo Quattrocchi, Domenico Ventriglia	Constraining Concrete Syntax via Metamodel Information.	VL/HCC	2006	DBLP DOI BibTeX RDF
21	Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel	Model-Driven Analysis and Synthesis of Concrete Syntax.	MoDELS	2006	DBLP DOI BibTeX RDF
21	Andrea Oermann, Jana Dittmann, Claus Vielhauer	Verifier-Tuple as a Classifier for Biometric Handwriting Authentication - Combination of Syntax and Semantics.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF	Security of Multimedia Content, Identification and Authentication, Biometrics
21	Martin Gogolla	Exploring ER and RE syntax and semantics with metamodel object diagrams.	Metainformatics	2005	DBLP DOI BibTeX RDF
21	Haifeng Shen, Chengzheng Sun	Syntax-based reconciliation for asynchronous collaborative writing.	CollaborateCom	2005	DBLP DOI BibTeX RDF
21	Luca Padovani	Interactive Editing of MathML Markup Using TEX Syntax.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF
21	Pourang Irani, Colin Ware	The Effect of a Perceptual Syntax on the Learnability of Novel Concepts.	IV	2004	DBLP DOI BibTeX RDF	software engineering visualization, geon theory, semantic learning, software engineering, object recognition, perception, Pedagogy, UML diagrams
21	Anette Frank, Katrin Erk	Towards an LFG Syntax-Semantics Interface for Frame Semantics Annotation.	CICLing	2004	DBLP DOI BibTeX RDF
21	Nattawut Sridranop, Ryan Stansifer	Adding polymorphic tuples and lists to the syntax of Java.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	Java, tuple, list
21	Janna Khegai, Bengt Nordström, Aarne Ranta	Multilingual Syntax Editing in GF.	CICLing	2003	DBLP DOI BibTeX RDF
21	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
21	Claus Brabrand, Michael I. Schwartzbach	Growing languages with metamorphic syntax macros.	PEPM	2002	DBLP DOI BibTeX RDF
21	Jason Baker, Wilson C. Hsieh	Maya: Multiple-Dispatch Syntax Extension in Java.	PLDI	2002	DBLP DOI BibTeX RDF	Java, generative programming, macros, metaprogramming
21	Per Gustafsson, Konstantinos Sagonas	Native code compilation of Erlang's bit syntax.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
21	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
21	Jörn W. Janneck, Robert Esser	A predicate-based approach to defining visual language syntax.	HCC	2001	DBLP DOI BibTeX RDF
21	Steve Womble, Stefan Wermter	A Mirror Neuron System for Syntax Acquisition.	ICANN	2001	DBLP DOI BibTeX RDF
21	Corin A. Gurr, Konstantinos Tourlas	Formalising the Essence of Diagrammatic Syntax.	Diagrams	2000	DBLP DOI BibTeX RDF
21	Miki Tanaka	Abstract Syntax and Variable Binding for Linear Binders.	MFCS	2000	DBLP DOI BibTeX RDF
21	William E. Lynch, Vasilios Papadakis, Rajesh Krishnamurthy, Tho Le-Ngoc	Syntax and discontinuity based error concealment.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
21	Yuri Velinov	On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
21	Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari	Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
21	David A. McAllester, Robert Givan	Taxonomic Syntax for First Order Inference.	J. ACM	1993	DBLP DOI BibTeX RDF	machine inference, theorem proving, polynomial time algorithms, automated reasoning, inference rules, proof theory, proof systems, mechanical verification
21	Timothy R. Hines	Open Systems Interconnection Abstract Syntax Notation: ASN.CG.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
21	Scott A. Vorthmann, Richard J. LeBlanc	A naming specification language for syntax-directed editors.	ICCL	1988	DBLP DOI BibTeX RDF
21	Donald J. Bagert, Donald K. Friesen	A multi-language syntax-directed editor.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
21	Maria Zamfir, David L. Martin 0001	On the Syntax and Semantics of Concurrent Computing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
21	Alan J. Demers, Thomas W. Reps, Tim Teitelbaum	Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.	POPL	1981	DBLP DOI BibTeX RDF
21	Ramachandran Krishnaswamy, Arthur B. Pyster	On the Correctness of Semantic-Syntax-Directed Translations.	J. ACM	1980	DBLP DOI BibTeX RDF
21	Philip M. Lewis II, Richard Edwin Stearns	Syntax-Directed Transduction.	J. ACM	1968	DBLP DOI BibTeX RDF
21	John W. Carr III, Jerome Welland	A nonrecursive method of syntax specification.	Commun. ACM	1966	DBLP DOI BibTeX RDF
20	Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser	Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.	OOPSLA	2009	DBLP DOI BibTeX RDF	composable languages, permissive grammars, sglr, error recovery, language extensions, embedded languages, sdf
20	Moisés Salvador Meza Moreno, Björn Bringert	Interactive Multilingual Web Applications with Grammatical Framework.	GoTAL	2008	DBLP DOI BibTeX RDF
20	Zhao Yan, Lei Liu	Design of Parallel Algorithm on Autogeneration of LL(1) Analytical Table for the Shared Memory Multiprocessors System.	CSSE (5)	2008	DBLP DOI BibTeX RDF
20	Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik	Data Flow Analysis of UML Action Semantics for Executable Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
20	Marcel Karam, Jihad Boulos, Hala Ollaic, Zeina Koteiche	XQueryViz: A Visual Dataflow XQuery Tool.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
20	Young-Chul Kim, Jaeyoung Choi	A Program Plagiarism Evaluation System.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
20	Paul Klint	How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective.	IWPC	2003	DBLP DOI BibTeX RDF
20	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
20	Dirk Pattinson	Translating Logics for Coalgebras.	WADT	2002	DBLP DOI BibTeX RDF
20	Mark van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser	Disambiguation Filters for Scannerless Generalized LR Parsers.	CC	2002	DBLP DOI BibTeX RDF
20	Merijn de Jonge, Joost Visser 0001	Grammers as Contracts.	GCSE	2000	DBLP DOI BibTeX RDF
20	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
20	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
20	Annie Despland, Monique Mazaud, Raymond Rakotozafy	PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings.	CC	1990	DBLP DOI BibTeX RDF
20	Rina S. Cohen, E. Harry	Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars.	POPL	1979	DBLP DOI BibTeX RDF
18	Óscar Sánchez, Mariano Rincón	Image Equilibrium: A Global Image Property for Human-Centered Image Analysis.	IWINAC (2)	2009	DBLP DOI BibTeX RDF	human-centered image anlysis, image syntax, visual alphabet and semantic gap
18	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving