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 |