Stem syntact$ (all stems)

171 papers:

MoDELS-2015-MaozR #difference #framework #semantics

A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.

POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.

ICSME-2014-LinXPL0ZD #maintenance #named

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance (YL, ZX, XP, YL, JS, WZ, JSD), pp. 341–350.

PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.

PLDI-2014-PombrioK #evaluation #named #sequence

Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.

DLT-2014-BrzozowskiS #bound #complexity

Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals (JAB, MS), pp. 13–24.

DUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric #semantics

Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.

HIMI-DE-2014-HoriguchiASN #dependence #generative

Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.

CIKM-2014-CarmelMPS #analysis #community #using

Improving Term Weighting for Community Question Answering Search Using Syntactic Analysis (DC, AM, YP, IS), pp. 351–360.

PEPM-2013-Garcia-PerezN #functional #reduction #semantics

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.

ICFP-2013-DevrieseP #metaprogramming

Typed syntactic meta-programming (DD, FP), pp. 73–86.

HCI-AMTE-2013-BratMP #interactive #model checking #semantics

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog (GB, CM, PAP), pp. 290–299.

SIGIR-2013-Moschitti #kernel #learning #rank #semantics

Kernel-based learning to rank with syntactic and semantic structures (AM), p. 1128.

LDTA-J-2009-AndersenBC #algebra #composition

Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.

VLDB-2012-ChubakR #performance #query

Efficient Indexing and Querying over Syntactically Annotated Trees (PC, DR), pp. 1316–1327.

WCRE-2012-MisraAKST #clustering #semantics

Software Clustering: Unifying Syntactic and Semantic Features (JM, KMA, VSK, SS, GT), pp. 113–122.

CIAA-2012-ReussS

Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses (AR, HS), pp. 301–312.

KEOD-2012-MykowieckaM #clustering

Clustering of Medical Terms based on Morpho-syntactic Features (AM, MM), pp. 214–219.

GPCE-2012-RafkindF #algebra #named

Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.

POPL-2012-ReddyR #logic

Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.

SAC-2012-HojsgaardH

Core BPEL: syntactic simplification of WS-BPEL 2.0 (EH, TH), pp. 1984–1991.

SAC-2012-Zaytsev #bnf #what

BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.

CSL-2012-AltenkirchR #approach

A Syntactical Approach to Weak ω-Groupoids (TA, OR), pp. 16–30.

DRR-2011-MaronezeCL #documentation #image #recognition #statistics

Introduction of statistical information in a syntactic analyzer for document image recognition (AOM, BC, AL), pp. 1–10.

ICDAR-2011-AbediF #analysis #documentation #image #locality #string #using

Localization of Digit Strings in Farsi/Arabic Document Images Using Structural Features and Syntactical Analysis (AA, KF), pp. 728–733.

ICPC-2011-PanchenkoKPZ #database #precise #query #scalability #source code #using

Precise and Scalable Querying of Syntactical Source Code Patterns Using Sample Code Snippets and a Database (OP, JK, HP, AZ), pp. 41–50.

DLT-2011-BrzozowskiY #complexity

Syntactic Complexity of Ideal and Closed Languages (JAB, YY), pp. 117–128.

DLT-2011-Yoshinaka #concept #context-free grammar #learning #towards

Towards Dual Approaches for Learning Context-Free Grammars Based on Syntactic Concept Lattices (RY), pp. 429–440.

LATA-2011-RigoV #complexity #integer #set

Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.

CIKM-2011-DuanLZ #automation #query

Automatic query reformulation with syntactic operators to alleviate search difficulty (HD, RL, CZ), pp. 2037–2040.

ECIR-2011-AktolgaAS #ranking #using

Passage Reranking for Question Answering Using Syntactic Structures and Answer Types (EA, JA, DAS), pp. 617–628.

SIGIR-2011-KimKWHK #approach #classification #mining

Authorship classification: a discriminative syntactic tree mining approach (SK, HK, TW, JH, HDK), pp. 455–464.

OOPSLA-2011-ErdwegRKO #named

SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.

OOPSLA-2011-ImNGP #recursion #type system

A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.

ICFP-2010-VoigtlanderHMW #bidirectional #semantics

Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.

CIKM-2010-LiuWMKC #information retrieval #natural language

Weighting common syntactic structures for natural language based information retrieval (CL, HW, SIM, EK, DC), pp. 1485–1488.

SIGIR-2010-HerdagdelenCMHHRA #modelling #query #semantics

Generalized syntactic and semantic models of query reformulation (AH, MC, DM, MH, KBH, SR, EA), pp. 283–290.

LOPSTR-2010-DanvyZ #combinator #graph #reduction

Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.

LDTA-2009-AndersenB10 #algebra

Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.

RTA-2010-GuglielmiGP #calculus #proving

A Proof Calculus Which Reduces Syntactic Bureaucracy (AG, TG, MP), pp. 135–150.

TAP-2010-JulliandSBM #abstraction #modelling #testing

Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.

ICDAR-2009-FujiyoshiSU #detection

Syntactic Detection and Correction of Misrecognitions in Mathematical OCR (AF, MS, SU), pp. 1360–1364.

SCAM-2009-DavidH #concept

Concepts as Syntactic Sugar (VD, MH), pp. 147–156.

WCRE-1999-MerloL99a

Computing Structural Types of Clone Syntactic Blocks (EM, TL), pp. 274–278.

CHI-2009-HirshfieldSGKJSF #adaptation #functional #interface #metric #testing #usability

Brain measurement for usability testing and adaptive interfaces: an example of uncovering syntactic workload with functional near infrared spectroscopy (LMH, ETS, AG, JK, RJKJ, AS, SF), pp. 2185–2194.

HCI-NIMT-2009-SadP09a #gesture #representation #using

Using Pictographic Representation, Syntactic Information and Gestures in Text Entry (HHS, FP), pp. 735–744.

ECIR-2009-BechetRC #towards

Towards the Selection of Induced Syntactic Relations (NB, MR, JC), pp. 786–790.

KDD-2009-CherkasovaEMTV #algorithm #enterprise #information management #similarity

Applying syntactic similarity algorithms for enterprise information management (LC, KE, CBMI, JT, ACV), pp. 1087–1096.

SIGIR-2009-WangMC #approach

A syntactic tree matching approach to finding similar questions in community-based qa services (KW, ZM, TSC), pp. 187–194.

TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.

SAC-2009-EcharteACV #folksonomy #quality

Improving folksonomies quality by syntactic tag variations grouping (FE, JJA, AC, JEV), pp. 1226–1230.

LICS-2009-GhicaB #approximate #named #semantics

Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.

SAT-2009-LonsingB #dependence #representation

A Compact Representation for Syntactic Dependencies in QBFs (FL, AB), pp. 398–411.

ICPC-2008-FeilkasR #api #constraints

Ensuring Well-Behaved Usage of APIs through Syntactic Constraints (MF, DR), pp. 248–253.

SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.

SEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive #uml

Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.

ECMDA-FA-2008-Espinazo-PaganTM #approach #metamodelling

Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes (JEP, MMT, JGM), pp. 185–199.

FSE-2008-LinZ #execution

Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.

CSL-2008-AbelR #higher-order #type system

Syntactic Metatheory of Higher-Order Subtyping (AA, DR), pp. 446–460.

CSL-2008-Saurin #on the #λ-calculus #μ-calculus

On the Relations between the Syntactic Theories of λμ-Calculi (AS), pp. 154–168.

ASE-2007-KagdiCM #approach #mining

An approach to mining call-usage patternswith syntactic context (HHK, MLC, JIM), pp. 457–460.

ICDAR-2007-YuZL #approach #recognition

A New Syntactic Approach to Graphic Symbol Recognition (YY, WZ, WL), pp. 516–520.

TACAS-2007-CimattiRT #optimisation #verification

Syntactic Optimizations for PSL Verification (AC, MR, ST), pp. 505–518.

ECIR-2007-BloehdornM #classification #kernel #semantics

Combined Syntactic and Semantic Kernels for Text Classification (SB, AM), pp. 307–318.

ECIR-2007-LiomaO #information retrieval

Light Syntactically-Based Index Pruning for Information Retrieval (CL, IO), pp. 88–100.

POPL-2007-StovringL #induction

A complete, co-inductive syntactic theory of sequential control and state (KS, SBL), pp. 161–172.

CADE-2007-BaeldeGMNT #model checking

The Bedwyr System for Model Checking over Syntactic Expressions (DB, AG, DM, GN, AT), pp. 391–397.

DocEng-2006-GodlewskiPS #recognition

Application of syntactic properties to three-level recognition of polish hand-written medical texts (GG, MP, JS), pp. 115–121.

ESOP-2006-Ahmed #logic #quantifier #recursion

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.

SCAM-2006-LawrieFB #consistency #identifier

Syntactic Identifier Conciseness and Consistency (DL, HF, DB), pp. 139–148.

FLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.

KR-2006-AgotnesA #logic #semantics

Semantics for Dynamic Syntactic Epistemic Logics (TÅ, NA), pp. 411–419.

FSE-2006-TaghdiriSJ #lightweight #specification

Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.

RTA-2006-Salvati #equation #linear #type system #λ-calculus

Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.

DocEng-2005-VilaresGA #retrieval

Managing syntactic variation in text retrieval (JV, CGR, MAA), pp. 162–164.

ICSM-2005-NiuES #approach

A Category-theoretic Approach to Syntactic Software Merging (NN, SME, MS), pp. 197–206.

ICALP-2005-Laird #decidability

Decidability in Syntactic Control of Interference (JL), pp. 904–916.

ECIR-2005-KutsumiYKSI #ambiguity

Acquisition of Translation Knowledge of Syntactically Ambiguous Named Entity (TK, TY, KK, IS, HI), pp. 533–535.

ICML-2005-WangWGSC #markov #modelling #random #semantics

Exploiting syntactic, semantic and lexical regularities in language modeling via directed Markov random fields (SW, SW, RG, DS, LC), pp. 948–955.

GPCE-2005-CulpepperOF #abstraction #component #interface

Syntactic Abstraction in Component Interfaces (RC, SO, MF), pp. 373–388.

POPL-2005-Goguen #approach #similarity #type system

A syntactic approach to eta equality in type theory (HG), pp. 75–84.

RTA-2005-LynchM #equation #performance

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.

ICALP-2004-GhicaMO #concurrent

Syntactic Control of Concurrency (DRG, ASM, CHLO), pp. 683–694.

ICALP-2004-SamerV #ltl #query

A Syntactic Characterization of Distributive LTL Queries (MS, HV), pp. 1099–1110.

POPL-2004-Ford #parsing expression grammar

Parsing expression grammars: a recognition-based syntactic foundation (BF), pp. 111–122.

DocEng-2003-KuoWS #constraints #editing #xml

Handling syntactic constraints in a DTD-compliant XML editor (YSK, JW, NCS), pp. 222–224.

IWPC-2003-CoxC #analysis #approximate #semiparsing #using

Syntactic Approximation Using Iterative Lexical Analysis (AC, CLAC), pp. 154–164.

DLT-2003-HolzerK #automaton #finite #monad #on the

On Deterministic Finite Automata and Syntactic Monoid Size, Continued (MH, BK), pp. 349–360.

DLT-2003-Polak #automaton

Syntactic Semiring and Universal Automaton (LP), pp. 411–422.

CIKM-2003-SrikanthS #approach #information retrieval #modelling #query

Exploiting syntactic structure of queries in a language modeling approach to IR (MS, RKS), pp. 476–483.

SIGIR-2003-Li

Syntactic features in question answering (XL), pp. 383–384.

CIAA-2002-Polak #equation

Syntactic Semiring and Language Equations (LP), pp. 182–193.

DLT-2002-HolzerK02a #automaton #finite #monad #on the

On Deterministic Finite Automata and Syntactic Monoid Size (MH, BK), pp. 258–269.

CIKM-2002-MandreoliMT #approach

A syntactic approach for searching similarities within sentences (FM, RM, PT), pp. 635–637.

SIGIR-2002-GaoZNHC #ambiguity #dependence #query #using

Resolving query translation ambiguity using a decaying co-occurrence model and syntactic dependence relations (JG, MZ, JYN, HH, WC), pp. 183–190.

SAC-2002-FerriPR #correctness #database #query #semantics

The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL (FF, EP, MR), pp. 432–437.

CADE-2002-LynchM

Basic Syntactic Mutation (CL, BM), pp. 471–485.

CSL-2002-McCusker #relational

A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.

LICS-2002-HamidSTMN #approach

A Syntactic Approach to Foundational Proof-Carrying Code (NAH, ZS, VT, SM, ZN), pp. 89–100.

FLOPS-J2-1998-Sakurai01 #category theory #proving

Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.

FLOPS-2001-PolakovY #exception #framework #logic #order #proving

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.

SIGIR-2001-StokesC #classification #detection #documentation #semantics

Combining Semantic and Syntactic Document Classifiers to Improve First Story Detection (NS, JC), pp. 424–425.

OOPSLA-2001-BachrachP #java

The Java Syntactic Extender (JB, KP), pp. 31–42.

ICLP-2001-Cousot #abstract interpretation #design #program transformation #semantics

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.

ICFP-2000-DamianD #continuation #program analysis

Syntactic accidents in program analysis: on the impact of the CPS transformation (DD, OD), pp. 209–220.

ICPR-v4-2000-GarainC #approach #documentation

A Syntactic Approach for Processing Mathematical Expressions in Printed Documents (UG, BBC), pp. 4523–4526.

CAV-2000-NamjoshiK #abstraction #automation #program transformation

Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.

CL-2000-Janhunen #logic programming #source code #strict

Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs (TJ), pp. 852–866.

LICS-2000-AehligS #analysis #polynomial

A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (KA, HS), pp. 84–91.

ICDAR-1999-VelosoC #recognition

Neural versus Syntactic Recognition of Handwritten Numerals (LRV, JMdC), pp. 233–236.

ICFP-1999-Shao

Transparent Modules with Fully Syntactic Signatures (ZS), pp. 220–232.

ICFP-1999-ZdancewicGM #programming language #proving

Principals in Programming Languages: A Syntactic Proof Technique (SZ, DG, JGM), pp. 197–207.

POPL-1999-WaddellD #abstraction

Extending the Scope of Syntactic Abstraction (OW, RKD), pp. 203–215.

RTA-1999-Rubio

A Fully Syntactic AC-RPO (AR), pp. 133–147.

FLOPS-1998-Sakurai #proving

Categorial Model Construction for Proving Syntactic Properties (TS), pp. 187–206.

WIA-1998-MaurelPR #automaton #predict

The Syntactic Prediction with Token Automata: Application to HandiAS System (DM, BLP, OR), pp. 100–109.

TACAS-1997-Ben-AbdallahL #detection #process #sequence chart

Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.

AdaEurope-1997-CheungCC #integration #object-oriented #towards

Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods (KSC, PKOC, TYC), pp. 173–184.

ALP-1997-BartheR #algebra #approach #termination #type system

Termination of Algebraic Type Systems: The Syntactic Approach (GB, FvR), pp. 174–193.

TLCA-1997-Urzyczyn #approach #λ-calculus

Inhabitation in Typed λ-Calculi (A Syntactic Approach) (PU), pp. 373–389.

WPC-1996-GriswoldAM #flexibility #pattern matching #performance

Fast, Flexible Syntactic Pattern Matching and Processing (WGG, DCA, CM), pp. 144–153.

STOC-1996-KhannaM #towards

Towards a Syntactic Characterization of PTAS (SK, RM), pp. 329–337.

ICPR-1996-FredL #clustering

A minimum code length technique for clustering of syntactic patterns (ALNF, JMNL), pp. 680–684.

ICPR-1996-OommenL #fault #pattern matching #pattern recognition #probability #recognition

Probabilistic syntactic pattern recognition for traditional and generalized transposition errors (BJO, RKSL), pp. 685–689.

LICS-1996-AbadiF #recursion

Syntactic Considerations on Recursive Types (MA, MPF), pp. 242–252.

DAC-1995-StollonP #behaviour #complexity #metric #modelling

Measures of Syntactic Complexity for Modeling Behavioral VHDL (NSS, JDP), pp. 684–689.

ICDAR-v1-1995-BayerW #documentation #using

Experiments on extracting structural information from paper documents using syntactic pattern (TAB, HW), pp. 476–479.

ICDAR-v1-1995-LinLS #comprehension #documentation #heuristic #interactive #using

Interactive acquisition of thematic information of Chinese verbs for judicial verdict document understanding using templates, syntactic clues, and heuristics (KHCL, RLL, VWS), pp. 297–300.

ICDAR-v1-1995-TingLHC #classification

A syntactic business form classifier (AT, MKHL, SCH, KYC), pp. 301–304.

ALP-1994-FerreiraZ #analysis #termination

Syntactical Analysis of Total Termination (MCFF, HZ), pp. 204–222.

CC-1994-ParrQ #ll #semantics

Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k) (TJP, RWQ), pp. 263–277.

ILPS-1994-Ross #constraints #using

A Syntactic Stratification Condition Using Constraints (KAR), pp. 76–90.

LICS-1994-MedinaI

A Syntactic Characterization of NP-Completeness (JAM, NI), pp. 241–250.

DAC-1993-ChaiyakulGR

High-Level Transformations for Minimizing Syntactic Variances (VC, DG, LR), pp. 413–418.

ICDAR-1993-Conway #approach #documentation #layout #parsing #recognition

Page grammars and page parsing. A syntactic approach to document layout recognition (AC), pp. 761–764.

ICDAR-1993-Sinha #constraints #on the #recognition #using

On using syntactic constraints in text recognition (RMKS), pp. 858–861.

HCI-SHI-1993-DijkstraHD #editing

User Responses to an Editor Supporting Syntactic Selection Method (AD, CH, HD), pp. 627–632.

RTA-1993-Tajine #decidability #equation

The Negation Elimination from Syntactic Equational Formula is Decidable (MT), pp. 316–327.

LFP-1992-ChuangG #approach #finite #fixpoint

A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.

SIGIR-1992-Grefenstette #retrieval

Use of Syntactic Context to Produce Term Association Lists for Text Retrieval (GG), pp. 89–97.

ALP-1992-BoudetC #equation #on the

On n-Syntactic Equational Theories (AB, EC), pp. 446–457.

PEPM-1991-AriolaA #approach #program transformation

A Syntactic Approach to Program Transformations (ZMA, A), pp. 116–129.

FPCA-1991-Fradet #continuation #detection #thread #using

Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.

ML-1991-Kazman #named

Babel: A Psychologically Plausible Cross-Linguistic Model of Lexical and Syntactic Acquisition (RK), pp. 75–79.

RTA-1991-Klay #decidability

Undecidable Properties of Syntactic Theories (FK), pp. 136–149.

ESOP-1990-JeffersonLF

A Syntactic Theory of Transparent Parameterization (SJ, SDL, DPF), pp. 212–226.

SIGIR-1990-LewisC #clustering

Term Clustering of Syntactic Phrases (DDL, WBC), pp. 385–404.

SIGIR-1990-Sacks-DavisW #analysis #documentation #retrieval #using

Using Syntactic Analysis in a Document Retrieval System that uses Signature Files (RSD, PW), pp. 179–192.

LICS-1990-KirchnerK #unification

Syntactic Theories and Unification (CK, FK), pp. 270–277.

ICALP-1989-Reynolds

Syntactic Control of Inference, Part 2 (JCR), pp. 704–722.

KR-1989-Stabler #information management #reasoning #representation #similarity

Syntactic Equality in Knowledge Representation and Reasoning (EPSJ), pp. 459–466.

SIGIR-1989-MetzlerH #information retrieval #parsing

The Constituent Object Parser: Syntactic Structure Matching for Information Retrieval (DPM, SWH), pp. 117–126.

SIGIR-1989-SaltonS #analysis #automation #on the

On the Application of Syntactic Methodologies in Automatic Text Analysis (GS, MS), pp. 137–150.

NACLP-1989-Suchenek

A Syntactic Characterization of Minimal Entailment (MAS), pp. 81–91.

LFP-1988-BawdenR

Syntactic Closures (AB, JR), pp. 86–95.

SIGIR-1988-SmeatonR #documentation #empirical #query #retrieval

Experiment on Incorporation Syntactic Processing of User Queries into a Document Retrieval Strategy (AFS, CJvR), pp. 31–51.

HCI-CE-1987-Pavard #constraints #design

Design of a Graphic Dialogue Without Syntactic Constraints (BP), pp. 465–472.

SIGIR-1987-Fagan #automation #documentation #retrieval

Automatic Phrase Indexing for Document Retrieval: An Examination of Syntactic and Non-Syntactic Methods (JLF), pp. 91–101.

POPL-1987-KohlbeckerW #metaprogramming #named #specification

Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.

SIGIR-1986-BerrutP #automation #parsing

Solving Grammatical Ambiguities within a Surface Syntactical Parser for Automatic Indexing (CB, PP), pp. 123–130.

SIGIR-1986-Smeaton #documentation #retrieval

Incorporating Syntactic Information into a Document Retrieval Strategy: An Investigation (AFS), pp. 103–113.

SCC-1982-BurkeF #fault

A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.

GG-1982-Bartsch-Sporl #grammar inference #graph grammar #pattern matching #pattern recognition #recognition

Grammatical inference of graph grammars for syntactic pattern recognition (BBS), pp. 1–7.

POPL-1982-JohnsonF #editing

Non-Syntactic Attribute Flow in Language Based Editors (GFJ, CNF), pp. 185–195.

POPL-1978-Reynolds

Syntactic Control of Interference (JCR), pp. 39–46.

ICALP-1977-Dieterich #context-free grammar #fault #parsing

Parsing and Syntactic Error Recovery for Context-Free Grammars by Means of Coarse Structures (EWD), pp. 180–192.

ICALP-1976-Guessarian #equivalence #semantics

Semantic Equivalence of Program Schemes and its Syntactic Characterization (IG), pp. 189–200.

POPL-1976-Franck #2d #analysis #graph grammar #named #precedence

PLAN2D — Syntactic Analysis of Precedence Graph Grammars (RF), pp. 134–139.

POPL-1973-GrahamR #fault

Practical Syntactic Error Recovery (SLG, SPR), pp. 52–58.

ICALP-1972-Zalcstein

Syntactic Semigroups of Some Classes of Star-Free Languages (YZ), pp. 135–144.

SIGIR-1971-DostertT #ambiguity #how

How Features Resolve Syntactic Ambiguity (BHD, FBT), pp. 19–32.