BibSLEIGH — normalisation tag

normalisation

normalisation

Tag #normalisation

365 papers:

FSCD-2019-Diaz-CaroD #identification #logic #proving: Proof Normalisation in a Logic Identifying Isomorphic Propositions (ADC, GD), p. 23.
FSCD-2019-Faggian #probability #termination: Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms (CF), p. 25.
ICFP-2019-EremondiTG #approximate #dependent type: Approximate normalization for gradual dependent types (JE, ÉT, RG), p. 30.
ICML-2019-CaiLS #analysis: A Quantitative Analysis of the Effect of Batch Normalization on Gradient Descent (YC, QL, ZS), pp. 882–890.
ICML-2019-HoogeboomBW #generative: Emerging Convolutions for Generative Normalizing Flows (EH, RvdB, MW), pp. 2771–2780.
ICML-2019-KurachLZMG #scalability: A Large-Scale Study on Regularization and Normalization in GANs (KK, ML, XZ, MM, SG), pp. 3581–3590.
ICML-2019-PingPSZRW #learning #representation: Differentiable Dynamic Normalization for Learning Deep Representation (LP, ZP, WS, RZ, JR, LW), pp. 4203–4211.
ICML-2019-TeradaY #kernel: Kernel Normalized Cut: a Theoretical Revisit (YT, MY), pp. 6206–6214.
ICML-2019-ZieglerR #sequence: Latent Normalizing Flows for Discrete Sequences (ZMZ, AMR), pp. 7673–7682.
PPDP-2019-0001S #call-by #evaluation #λ-calculus: Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus (AA0, CS), p. 12.
CASE-2019-SubramanianC #automation #embedded #network: Mean Spectral Normalization of Deep Neural Networks for Embedded Automation (AKS, NYC), pp. 249–256.
ESOP-2019-LagoG #bisimulation: Effectful Normal Form Bisimulation (UDL, FG), pp. 263–292.
ICSME-2018-IshioMSI #detection #distance #using: Cloned Buggy Code Detection in Practice Using Normalized Compression Distance (TI, NM, KS, KI), pp. 591–594.
CIKM-2018-RoyGBBM #how #information retrieval #performance #using #word: Using Word Embeddings for Information Retrieval: How Collection and Term Normalization Choices Affect Performance (DR, DG, SB, SB, MM), pp. 1835–1838.
ECIR-2018-MansouriZ0FR #named #rule-based: ParsTime: Rule-Based Extraction and Normalization of Persian Temporal Expressions (BM, MSZ, RC0, MF, MR), pp. 715–721.
ICML-2018-ChenBLR #adaptation #multi #named #network: GradNorm: Gradient Normalization for Adaptive Loss Balancing in Deep Multitask Networks (ZC0, VB, CYL, AR), pp. 793–802.
ICML-2018-TeyeAS #estimation #network #nondeterminism: Bayesian Uncertainty Estimation for Batch Normalized Deep Networks (MT, HA, KS0), pp. 4914–4923.
KDD-2018-ChenHNHYH #clustering #scalability: Spectral Clustering of Large-scale Data by Directly Solving Normalized Cut (XC0, WH, FN, DH, MY0, JZH), pp. 1206–1215.
KDD-2018-LiuCMCMJJ #lessons learnt #online #scalability: Lessons Learned from Developing and Deploying a Large-Scale Employer Name Normalization System for Online Recruitment (QL, JC, TM, AC, CM, FJ, VJ), pp. 556–565.
PEPM-2018-Jay #recursion #source code: Recursive programs in normal form (short paper) (BJ), pp. 67–73.
POPL-2018-BrownP #partial evaluation: Jones-optimal partial evaluation by specialization-safe normalization (MB, JP), p. 28.
FSCD-2017-Strassburger #combinator: Combinatorial Flows and Their Normalisation (LS), p. 17.
ICFP-2017-0001VW #dependent type #evaluation: Normalization by evaluation for sized dependent types (AA0, AV, TW), p. 30.
ICML-2017-LouizosW #multi #network: Multiplicative Normalizing Flows for Variational Bayesian Neural Networks (CL, MW), pp. 2218–2227.
KDD-2017-Li #fourier #kernel #random: Linearized GMM Kernels and Normalized Random Fourier Features (PL0), pp. 315–324.
KDD-2017-LiuJDJ #clustering: Supporting Employer Name Normalization at both Entity and Cluster Level (QL, FJ, VSD, AJ), pp. 1883–1892.
KDD-2017-WuSY #modelling: Decomposed Normalized Maximum Likelihood Codelength Criterion for Selecting Hierarchical Latent Variable Models (TW, SS, KY), pp. 1165–1174.
ECOOP-2017-WangR #towards: Towards Strong Normalization for Dependent Object Types (DOT) (FW, TR), p. 25.
POPL-2017-Ilik #representation #similarity: The exp-log normal form of types: decomposing extensional equality and representing terms compactly (DI), pp. 387–399.
ESEC-FSE-2017-BrennanTRAB #constraints #program analysis: Constraint normalization and parameterized caching for quantitative program analysis (TB, NT, NR, AA, TB), pp. 535–546.
CSL-2017-RicciottiC: Strongly Normalizing Audited Computation (WR, JC), p. 21.
CSL-2017-Vaux: Taylor Expansion, lambda-Reduction and Normalization (LV), p. 16.
FSCD-2016-AkiyoshiT #polymorphism #λ-calculus: Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule. (RA, KT), p. 15.
FSCD-2016-AltenkirchK #dependent type #evaluation: Normalisation by Evaluation for Dependent Types (TA, AK), p. 16.
FSCD-2016-Hamana #algebra #category theory #higher-order: Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories (MH), p. 18.
FSCD-2016-OostromT #random: Normalisation by Random Descent (VvO, YT), p. 18.
ICML-2016-ArpitZKG #network #parametricity: Normalization Propagation: A Parametric Technique for Removing Internal Covariate Shift in Deep Networks (DA, YZ, BUK, VG), pp. 1168–1176.
ICPR-2016-GoswamiRSV #classification: Improving classifier fusion via Pool Adjacent Violators normalization (GG, NKR, RS0, MV), pp. 1011–1016.
ICPR-2016-YangJNL #network #online #recognition #using: Rotation-free online handwritten character recognition using dyadic path signature features, hanging normalization, and deep neural network (WY, LJ, HN, TL), pp. 4083–4088.
KDD-2016-LiuJM #industrial #named #online: CompanyDepot: Employer Name Normalization in the Online Recruitment Industry (QL, FJ, MM), pp. 521–530.
LOPSTR-2016-Tarau #generative #order #performance #λ-calculus: A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms (PT), pp. 240–255.
POPL-2016-BrownP #self: Breaking through the normalization barrier: a self-interpreter for f-omega (MB, JP), pp. 5–17.
IJCAR-2016-WisniewskiSKB #effectiveness: Effective Normalization Techniques for HOL (MW, AS, KK, CB), pp. 362–370.
SIGMOD-2015-KumarNP #learning #linear #modelling: Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
VLDB-2015-KumarJYNP #machine learning #optimisation: Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.
DLT-2015-Dehornoy #overview #polynomial: Garside and Quadratic Normalisation: A Survey (PD), pp. 14–45.
ICALP-v2-2015-KarbasiLS #network: Normalization Phenomena in Asynchronous Networks (AK, JL, AS), pp. 688–700.
ICFP-2015-YangCAEKN #communication #performance: Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
ICML-2015-IoffeS #network: Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (SI, CS), pp. 448–456.
ICML-2015-RezendeM: Variational Inference with Normalizing Flows (DJR, SM), pp. 1530–1538.
PADL-2015-Tarau #combinator #generative #logic programming #on the #type inference: On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
FoSSaCS-2015-ClairambaultD #evaluation #game studies #semantics: Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.
ECIR-2014-Aly #parametricity #using: Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.
ICML-c2-2014-KnowlesGP #infinity #metric #random #using: A reversible infinite HMM using normalised random measures (DAK, ZG, KP), pp. 1998–2006.
ICML-c2-2014-SatoKN #analysis: Latent Confusion Analysis by Normalized Gamma Construction (IS, HK, HN), pp. 1116–1124.
ICPR-2014-DanismanBD #evaluation #gender #recognition: Cross-Database Evaluation of Normalized Raw Pixels for Gender Recognition under Unconstrained Settings (TD, IMB, CD), pp. 3144–3149.
ICPR-2014-MavridouHCL #fourier #image #robust: Scale Normalized Radial Fourier Transform as a Robust Image Descriptor (EM, MDH, JLC, AL), pp. 3993–3998.
ECMFA-2014-SchwichtenbergGHE #modelling #qvt: Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
PPDP-2014-Ilik #continuation #proving #tutorial: Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
ICTSS-2014-AliY #algorithm #constraints #ocl: Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
LICS-CSL-2014-GuenotS #logic #symmetry: Symmetric normalisation for intuitionistic logic (NG, LS), p. 10.
ICDAR-2013-DuH #approach #online #recognition #variability: An Irrelevant Variability Normalization Based Discriminative Training Approach for Online Handwritten Chinese Character Recognition (JD, QH), pp. 69–73.
RTA-2013-Accattoli #linear #logic: Linear Logic and Strong Normalization (BA), pp. 39–54.
RTA-2013-VytiniotisJ: Evidence Normalization in System FC (DV, SLPJ), pp. 20–38.
RTA-2013-WinklerM #revisited: Normalized Completion Revisited (SW, AM), pp. 319–334.
TLCA-2013-AschieriZ #nondeterminism: Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
TLCA-2013-FridlenderP #algorithm #evaluation #type system: A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (DF, MP), pp. 140–155.
ICML-c2-2013-Rebagliati #clustering #fault #strict: Strict Monotonicity of Sum of Squares Error and Normalized Cut in the Lattice of Clusterings (NR), pp. 163–171.
ICML-c3-2013-ChenRBT #metric #random: Dependent Normalized Random Measures (CC, VR, WLB, YWT), pp. 969–977.
SIGIR-2013-RousseauV #ad hoc #composition #information retrieval: Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.
ICSE-2013-Guerrouj #comprehension #quality #source code: Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
CADE-2013-AzmyW: Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.
CSL-2013-AschieriBB: Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.
CSL-2013-Kikuchi #nondeterminism #proving #λ-calculus: Proving Strong Normalisation via Non-deterministic Translations into Klop’s Extended λ-Calculus (KK), pp. 395–414.
CSL-2013-Statman: A New Type Assignment for Strongly Normalizable Terms (RS), pp. 634–652.
LICS-2013-HeimbergKS #bound: An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.
ICSM-2012-BinkleyLU #concept: Vocabulary normalization improves IR-based concept location (DB, DL, CU), pp. 588–591.
DLT-2012-KetemaS #string #termination: Characterizing Languages by Normalization and Termination in String Rewriting — (JK, JGS), pp. 459–464.
LATA-2012-Genova #set: Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.
RTA-2012-BonelliKLR #calculus: Normalisation for Dynamic Pattern Calculi (EB, DK, CL, AR), pp. 117–132.
FLOPS-2012-BiernackiL #bisimulation: Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.
ICFP-2012-SeveriV #finite #recursion #type system: Pure type systems with corecursion on streams: from finite to infinitary normalisation (PS, FJdV), pp. 141–152.
CIKM-2012-ChiangWD #clustering #network #scalability #using: Scalable clustering of signed networks using balance normalized cut (KYC, JJW, ISD), pp. 615–624.
CIKM-2012-CumminsO #automation #constraints: A constraint to automatically regulate document-length normalisation (RC, CO), pp. 2443–2446.
ECIR-2012-LvZ #modelling: A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 (YL, CZ), pp. 244–255.
ICML-2012-ChenDB #metric #modelling #random #topic: Dependent Hierarchical Normalized Random Measures for Dynamic Topic Modeling (CC, ND, WLB), p. 95.
ICPR-2012-LinnerS #comparison #quality #using: Comparison of restoration quality on square and hexagonal grids using normalized convolution (EL, RS), pp. 3046–3049.
ICPR-2012-MatsukawaOS #image: Illumination normalization of face images with cast shadows (TM, TO, YS), pp. 1848–1851.
ICPR-2012-StrucZP #parametricity #verification: Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPR-2012-Zhu0N #recognition: Discriminative normalization method for handwritten Chinese character recognition (YZ, JS, SN), pp. 274–277.
KDD-2012-HiraiY #clustering #detection #using: Detecting changes of clustering structures using normalized maximum likelihood coding (SH, KY), pp. 343–351.
SIGIR-2012-MarkovAC #linear #revisited: Unsupervised linear score normalization revisited (IM, AA, FC), pp. 1161–1162.
ICDAR-2011-GilliamWC #segmentation: Segmentation and Normalisation in Grapheme Codebooks (TG, RCW, JAC), pp. 613–617.
ICDAR-2011-PhanGZN #online #recognition: Effects of Line Densities on Nonlinear Normalization for Online Handwritten Japanese Character Recognition (TVP, JG, BZ, MN), pp. 834–838.
DLT-J-2010-FrieseSM11 #bottom-up #transducer: Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.
CIAA-2011-Gawrychowski: Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.
LATA-2011-JansenHKN: A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.
LATA-2011-LaurenceLNST #top-down #transducer: Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
TLCA-2011-Gimenez #difference #linear #logic #proving: Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
CIKM-2011-LvZ #bound: Lower-bounding term frequency normalization (YL, CZ), pp. 7–16.
CIKM-2011-LvZ11a #adaptation: Adaptive term frequency normalization for BM25 (YL, CZ), pp. 1985–1988.
FoSSaCS-2011-BernadetL #complexity: Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (AB, SL), pp. 88–107.
SAT-2011-BuningZB #quantifier: Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.
SAT-2011-KullmannZ #on the: On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.
SAT-2011-MundhenkZ #equivalence #how: How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.
WCRE-2010-LawrieBM #source code: Normalizing Source Code Vocabulary (DJL, DB, CM), pp. 3–12.
RTA-2010-EndrullisGHKO #orthogonal: Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
RTA-2010-KollerT: Underspecified computation of normal forms (AK, ST), pp. 177–192.
RTA-2010-Simonsen #convergence: Weak Convergence and Uniform Normalization in Infinitary Rewriting (JGS), pp. 311–324.
FLOPS-2010-Abel #calculus #evaluation #towards: Towards Normalization by Evaluation for the βη-Calculus of Constructions (AA), pp. 224–239.
FLOPS-2010-BerardiT #compilation #decompiler: Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICEIS-AIDSS-2010-MokotoffGP #multi #problem: Normalization Procedures on Multicriteria Decision Making — An Example on Environmental Problems (EM, EG, JP), pp. 206–211.
CIKM-2010-FanWW #clustering #performance #visual notation: Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
ICPR-2010-DiezFSS #edit distance: Normalized Sum-over-Paths Edit Distances (SGD, FF, MS, MS), pp. 1044–1047.
ICPR-2010-HuangDLTL #authentication #detection: Finger-Vein Authentication Based on Wide Line Detector and Pattern Normalization (BH, YD, RL, DT, WL), pp. 1269–1272.
CSL-2010-BarthwalN #context-free grammar #formal method: A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 (AB, MN), pp. 95–109.
LICS-2010-PopescuGO #system f: Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.
ICDAR-2009-PirloITS #classification: Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.
SIGMOD-2009-HadjieleftheriouKS #approximate #incremental #maintenance #string: Incremental maintenance of length normalized indexes for approximate string matching (MH, NK, DS), pp. 429–440.
VLDB-2009-GottlobPS #optimisation: Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.
CIAA-2009-VuilleminG #automaton #regular expression: Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.
RTA-2009-GodoyJ: Unique Normalization for Shallow TRS (GG, FJ), pp. 63–77.
CIKM-2009-AgarwalKLCGGHRS #web: URL normalization for de-duplication of web pages (AA, HSK, KPL, KPC, SG, PKG, CH, AR, AS), pp. 1987–1990.
CIKM-2009-ArampatzisK #approach: A signal-to-noise approach to score normalization (AA, JK), pp. 797–806.
CIKM-2009-MeijWR #modelling #query: A query model based on normalized log-likelihood (EM, WW, MdR), pp. 1903–1906.
CSL-2009-Abel #evaluation: Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.
ICLP-2009-KoninckDS #term rewriting: Demand-Driven Normalisation for ACD Term Rewriting (LDK, GJD, PJS), pp. 484–488.
LICS-2009-CreusGMT #term rewriting: Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.
SAT-2009-Traxler: Variable Influences in Conjunctive Normal Forms (PT), pp. 101–113.
ICPC-2008-RoyC08a #detection #flexibility #named #pretty-printing #using: NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization (CKR, JRC), pp. 172–181.
ICALP-A-2008-FrandsenS #polynomial: Dynamic Normal Forms and Dynamic Characteristic Polynomial (GSF, PS), pp. 434–446.
RTA-2008-Ketema #combinator #on the #reduction: On Normalisation of Infinitary Combinatory Reduction Systems (JK), pp. 172–186.
RTA-2008-Zantema #infinity: Normalization of Infinite Terms (HZ), pp. 441–455.
AFP-2008-Danvy08: From Reduction-Based to Reduction-Free Normalization (OD), pp. 66–164.
FLOPS-2008-Tatsuta: Types for Hereditary Head Normalizing Terms (MT), pp. 195–209.
ECIR-2008-EuachongprasitR #multi #performance #retrieval #scalability: Efficient Multimedia Time Series Data Retrieval Under Uniform Scaling and Normalisation (WE, CAR), pp. 506–513.
ECIR-2008-KhalidJR #information retrieval: The Impact of Named Entity Normalization on Information Retrieval for Question Answering (MAK, VJ, MdR), pp. 705–710.
ECIR-2008-NaKL #documentation #modelling #multi #topic: Improving Term Frequency Normalization for Multi-topical Documents and Application to Language Modeling Approaches (SHN, ISK, JHL), pp. 382–393.
ICPR-2008-JeanBA #invariant #recognition: Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.
ICPR-2008-JiangT #robust: Robust shape normalization based on implicit representations (TJ, CT), pp. 1–4.
ICPR-2008-MuseletT #invariant: Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.
SIGIR-2008-WongLW #framework #multi #web: An unsupervised framework for extracting and normalizing product attributes from multiple web sites (TLW, WL, TSW), pp. 35–42.
OOPSLA-2008-KatsBV #bytecode #compilation: Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.
ASE-2008-FalleriHN #approach: A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.
FoSSaCS-2008-KikuchiL: Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
LICS-2008-LassenL #bisimulation #morphism #parametricity #polymorphism: Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
RTA-2007-Kikuchi #calculus #proving: Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (KK), pp. 257–272.
TLCA-2007-Abel #induction: Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
TLCA-2007-DavidN #calculus #equation #proving #recursion: An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.
TLCA-2007-SantoMP #calculus #continuation: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.
ECIR-2007-HeO: Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task (BH, IO), pp. 468–480.
LOPSTR-2007-DegraveV #source code #towards: Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.
PEPM-2007-Lammel #canonical: Style normalization for canonical X-to-O mappings (RL), pp. 31–40.
CADE-2007-GodoyT #on the #term rewriting: On the Normalization and Unique Normalization Properties of Term Rewrite Systems (GG, ST), pp. 247–262.
CSL-2007-LassenL #bisimulation: Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.
LICS-2007-AbelCD #evaluation #similarity #type system: Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements (AA, TC, PD), pp. 3–12.
LICS-2007-Riba #interactive: Strong Normalization as Safe Interaction (CR), pp. 13–22.
PODS-2006-KolahiL #dependence #on the: On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.
SCAM-2006-WalensteinMCL #term rewriting #using: Normalizing Metamorphic Malware Using Term Rewriting (AW, RM, MRC, AL), pp. 75–84.
ECIR-2006-FernandezVC #probability #rank: Probabilistic Score Normalization for Rank Aggregation (MF, DV, PC), pp. 553–556.
ECIR-2006-KarbasiB #documentation #effectiveness #scalability #using: Document Length Normalization Using Effective Level of Term Frequency in Large Collections (SK, MB), pp. 72–83.
ICPR-v2-2006-BaiH #case study #online #recognition: A Study of Nonlinear Shape Normalization for Online Handwritten Chinese Character Recognition: Dot Density vs. Line Density Equalization (ZLB, QH), pp. 921–924.
ICPR-v2-2006-SenerU #analysis #component #independence #invariant #using: A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
ICPR-v3-2006-HuS06a #classification #clustering #functional #image: Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.
ICPR-v4-2006-ProencaA #identification #image: A Method for the Identification of Noisy Regions in Normalized Iris Images (HP, LAA), pp. 405–408.
FoSSaCS-2006-PaoliniPR: An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.
CSL-2006-Moczydlowski: Normalization of IZF with Replacement (WM), pp. 516–530.
LICS-2006-CoquandS #proving #using: A Proof of Strong Normalisation using Domain Theory (TC, AS), pp. 307–316.
LICS-2006-Lassen #bisimulation #λ-calculus #μ-calculus: Head Normal Form Bisimulation for Pairs and the λμ-Calculus (SBL), pp. 297–306.
LICS-2006-TatsutaD #difference: Normalisation is Insensible to λ-Term Identity or Difference (MT, MDC), pp. 327–338.
SAT-2006-KullmannLM #agile #categorisation #kernel #satisfiability: Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel (OK, IL, JMS), pp. 22–35.
DRR-2005-ShiG #documentation #image #segmentation #using: Historical document image segmentation using background light intensity normalization (ZS, VG), pp. 167–174.
ICDAR-2005-PastorTV #online #recognition: Writing Speed Normalization for On-Line Handwritten Text Recognition (MP, AHT, EV), pp. 1131–1135.
ICDAR-2005-SimardSA: Ink Normalization and Beautification (PYS, DS, MA), pp. 1182–1187.
CIAA-2005-BastienCFR #equivalence: Prime Normal Form and Equivalence of Simple Grammars (CB, JC, WF, WR), pp. 78–89.
TLCA-2005-DavidN #proving #symmetry #λ-calculus #μ-calculus: Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.
ECIR-2005-HeO #modelling: Term Frequency Normalisation Tuning for BM25 and DFR Models (BH, IO), pp. 200–214.
SIGIR-2005-HeO #case study: A study of the dirichlet priors for term frequency normalisation (BH, IO), pp. 465–471.
DAC-2005-WedlerSK: Normalization at the arithmetic bit level (MW, DS, WK), pp. 457–462.
CSL-2005-Berger #theorem: An Abstract Strong Normalization Theorem (UB), pp. 27–35.
LICS-2005-Lassen #bisimulation: Eager Normal Form Bisimulation (SL), pp. 345–354.
FLOPS-2004-AltenkirchU #evaluation: Normalization by Evaluation for λ→2 (TA, TU), pp. 260–275.
FLOPS-2004-Kikuchi #calculus #proving: A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.
ICPR-v1-2004-ShiG #documentation #image #using: Historical Document Image Enhancement Using Background Light Intensity Normalization (ZS, VG), pp. 473–476.
ICPR-v1-2004-Vliet #robust: Robust Local Max-Min Filters by Normalized Power-Weighted Filtering (LJvV), pp. 696–699.
ICPR-v1-2004-Wakahara #adaptation #correlation #modelling #using: Adaptive Normalization of Handwritten Characters Using GAT Correlation and Mixture Models (TW), pp. 393–396.
ICPR-v2-2004-ChennubhotlaJ #detection #distance: Perceptual Distance Normalization for Appearance Detection (CC, ADJ), pp. 23–27.
ICPR-v2-2004-EwerthF #detection #difference: Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.
ICPR-v2-2004-SuW #using: Decomposing Chinese Characters into Stroke Segments Using SOGD Filters and Orientation Normalization (YMS, JFW), pp. 351–354.
ICPR-v4-2004-LoutasNP #correlation #evaluation #metric #reliability: Evaluation of Tracking Reliability Metrics based on Information Theory and Normalized Correlation (EL, NN, IP), pp. 653–656.
KDD-2004-DhillonGK #clustering #kernel: Kernel k-means: spectral clustering and normalized cuts (ISD, YG, BK), pp. 551–556.
SIGIR-2004-JinS #case study #collaboration: A study of methods for normalizing user ratings in collaborative filtering (RJ, LS), pp. 568–569.
SIGIR-2004-KampsRS #retrieval #xml: Length normalization in XML retrieval (JK, MdR, BS), pp. 80–87.
POPL-2004-BalatCF #partial evaluation #λ-calculus: Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.
PPDP-2004-DoughertyGL: Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.
FoSSaCS-2004-FilinskiR #evaluation: A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
FoSSaCS-2004-Polonovski #calculus #μ-calculus: Strong Normalization of λμμ-Calculus with Explicit Substitutions (EP), pp. 423–437.
ICDAR-2003-LiuSF #recognition: Handwritten Chinese Character Recognition: Alternatives to Nonlinear Normalization (CLL, HS, HF), pp. 524–528.
PODS-2003-ArenasL #approach #relational #xml: An information-theoretic approach to normal forms for relational and XML data (MA, LL), pp. 15–26.
TLCA-2003-Boudol #on the: On Strong Normalization in the Intersection Type Discipline (GB), pp. 60–74.
ICFP-2003-BeffaraD #exception: Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.
CIKM-2003-HeO #case study #parametricity: A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.
AdaEurope-2003-ChanCT #random testing #strict #testing: Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.
CC-2003-Danvy #monad: A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.
FoSSaCS-2003-Bonelli #calculus #higher-order: A Normalisation Result for Higher-Order Calculi with Explicit Substitutions (EB), pp. 153–168.
CADE-2003-GanzingerS #equivalence #reasoning: Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
CSL-2003-DavidG #λ-calculus: Strong Normalization of the Typed λws-Calculus (RD, BG), pp. 155–168.
CSL-2003-Miquel #set: A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory (AM), pp. 441–454.
PODS-2002-ArenasL #documentation #xml: A Normal Form for XML Documents (MA, LL), pp. 85–96.
CIAA-2002-CaronF: Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.
FLOPS-2002-KasuyaSA #higher-order #term rewriting: Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.
ECIR-2002-AmatiR: Term Frequency Normalization via Pareto Distributions (GA, CJvR), pp. 183–192.
ICML-2002-Mladenic #learning #using #word: Learning word normalization using word suffix and context from unlabeled data (DM), pp. 427–434.
ICPR-v1-2002-ShakunagaS #image: Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPR-v2-2002-AltyncayD #classification #multi #problem #question #why: Why Does Output Normalization Create Problems in Multiple Classifier Systems? (HA, MD), pp. 775–778.
ICPR-v3-2002-BrakensiekKR #adaptation #online #recognition: Comparing Normalization and Adaptation Techniques for On-Line Handwriting Recognition (AB, AK, GR), pp. 73–76.
ICPR-v3-2002-LeungKCT #documentation #fuzzy #image #using: Normalization of Contrast in Document Images Using Generalized Fuzzy Operator with Least Square Method (CCL, PCKK, FHYC, WKT), pp. 115–118.
ICPR-v3-2002-LiY #clustering: Normalized Sampling for Color Clustering in Medical Diagnosis (CHL, PCY), pp. 819–822.
SIGIR-2002-ChowdhuryMGF #documentation #revisited: Document normalization revisited (AC, MCM, DAG, OF), pp. 381–382.
PPDP-2002-Fiore #analysis #evaluation #semantics #λ-calculus: Semantic analysis of normalisation by evaluation for typed λ calculus (MPF), pp. 26–37.
SAS-2002-NielsonNS #horn clause: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi (FN, HRN, HS), pp. 20–35.
CSL-2002-AehligJ #on the: On Continuous Normalization (KA, FJ), pp. 59–73.
CSL-2002-EsikL #algebra: Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.
CSL-2002-Nivelle #proving: Extraction of Proofs from the Clausal Normal Form Transformation (HdN), pp. 584–598.
SAT-2002-Kullmann #adaptation #branch #database #encryption #random #satisfiability #standard #towards #using: Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.
ICDAR-2001-ChoisyB #recognition #using: Handwriting Recognition Using Local Methods for Normalization and Global Methods for Recognition (CC, AB), pp. 23–27.
ICDAR-2001-WakaharaKS #adaptation #recognition #using: Handwritten Japanese Character Recognition Using Adaptive Normalization by Global Affine Transformation (TW, YK, MS), pp. 424–428.
ICDAR-2001-WangCFZ #recognition #set: Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.
RTA-2001-KhasidashviliOO #orthogonal: Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.
RTA-2001-Woinowski: A Normal Form for Church-Rosser Language Systems (JRW), pp. 322–337.
TLCA-2001-Filinski #evaluation #λ-calculus: Normalization by Evaluation for the Computational λ-Calculus (AF), pp. 151–165.
TLCA-2001-Groote #deduction: Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.
TLCA-2001-Urban: Strong Normalisation for a Gentzen-like Cut-Elimination Procedure (CU), pp. 415–430.
CIKM-2001-MontagueA: Relevance Score Normalization for Metasearch (MHM, JAA), pp. 427–433.
CSL-2001-Courtieu: Normalized Types (PC), pp. 554–569.
LICS-2001-AltenkirchDHS #evaluation #λ-calculus: Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.
LICS-2001-Terui #calculus: Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.
LICS-2001-YoshidaBH #π-calculus: Strong Normalisation in the π-Calculus (NY, MB, KH), pp. 311–322.
ICALP-2000-Santo: Revisiting the Correspondence between Cut Elimination and Normalisation (JES), pp. 600–611.
RTA-2000-DoughertyG #reduction: Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
CIKM-2000-LohKW #approach #database #sequence: Index Interpolation: An Approach to Subsequence Matching Supporting Normalization Transform in Time-Series Databases (WKL, SWK, KYW), pp. 480–487.
ICPR-v1-2000-AvrithisXK #invariant #retrieval: Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.
ICPR-v1-2000-SanchezB #recognition #video: Color Normalization for Appearance Based Recognition of Video Key-Frames (JMS, XB), pp. 1815–1818.
ICPR-v2-2000-JuanV #classification #edit distance #on the #performance #string #using: On the Use of Normalized Edit Distances and an Efficient k-NN Search Technique (k-AESA) for Fast and Accurate String Classification (AJ, EV), pp. 2676–2679.
ICPR-v2-2000-Kawatani #polynomial #recognition: Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.
ICPR-v2-2000-OliveiraVC #image: Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.
ICPR-v3-2000-BenaventeSBVL #segmentation: Normalized Color Segmentation for Human Appearance Description (RB, GS, RB, MV, JL), pp. 3637–3641.
ICPR-v3-2000-JohanssonKG #detection #symmetry #using: Detecting Rotational Symmetries Using Normalized Convolution (BJ, HK, GHG), pp. 3500–3504.
ICPR-v3-2000-VertanB #classification #representation: Color Texture Classification by Normalized Color Space Representation (CV, NB), pp. 3584–3587.
SIGIR-2000-Mikheev #approach #documentation: Document centered approach to text normalization (AM), pp. 136–143.
TOOLS-ASIA-2000-WuJZ #design #implementation #object-oriented #proving: Implementation and Proof for Normalization Design of Object-Oriented Data Schemes (YW, WJ, AZ), pp. 220–229.
WRLA-2000-KirchnerG #proving #termination: Termination and normalisation under strategy Proofs in ELAN (HK, IG), pp. 93–120.
WRLA-2000-NakamuraO #evaluation #on-demand: The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.
ICDAR-1999-NakagawaYN #recognition: An Off-line Character Recognition Method Employing Model-dependent Pattern Normalization by an Elastic Membrane Model (MN, TY, TN), pp. 495–498.
ICDAR-1999-NicchiottiS: Generalized Projections: A Tool for Cursive Handwriting Normalization (GN, CS), pp. 729–732.
RTA-1999-BachmairRRT #term rewriting: Normalization via Rewrite Closures (LB, CRR, IVR, AT), pp. 190–204.
RTA-1999-CosmoG #proving: Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.
RTA-1999-Groote #deduction #on the: On the Strong Normalisation of Natural Deduction with Permutation-Conversions (PdG), pp. 45–59.
RTA-1999-Oostrom #orthogonal: Normalisation in Weakly Orthogonal Rewriting (VvO), pp. 60–74.
TLCA-1999-UrbanB #logic: Strong Normalisation of Cut-Elimination in Classical Logic (CU, GMB), pp. 365–380.
ACIR-1999-KosterDEP: Normalization and Matching in the DORO System (CHAK, CD, DvdE, JP).
ICSE-1999-YehL #metric #precise #towards #using: Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.
CSMR-1998-BrandSV #cics #cobol #control flow #legacy: Control Flow Normalization for COBOL/CICS Legacy System (MvdB, MPAS, CV), pp. 11–20.
WIA-1998-AlbertGW #algorithm #context-free grammar: Extended Context-Free Grammars and Normal Form Algorithms (JA, DG, DW), pp. 1–12.
RTA-1998-Genet #approximate #decidability #set: Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.
RTA-1998-Waldmann #decidability: Normalization of S-Terms is Decidable (JW), pp. 138–150.
ICPR-1998-Aranda-GarridoGF #2d #image #representation: Representing 2D digital images through a normalized measure of redundancy (MCAG, JAG, JFV), pp. 42–46.
FoSSaCS-1998-BottreauM #graph: Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.
CADE-1998-NonnengartRW #generative #on the: On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.
CSL-1998-Barthe #type system: Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-Conversion (GB), pp. 241–259.
CSL-1998-KhasidashviliP: Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.
CSL-1998-Matthes #fixpoint: Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.
JICSLP-1998-AntoniouBM #logic: Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.
ICDAR-1997-HoriuchiHYY #2d #recognition #using: Two-dimensional Extension of Nonlinear Normalization Method using Line Density for Character Recognition (TH, RH, HY, KY), pp. 511–514.
ICDAR-1997-KimL #recognition: Nonlinear Shape Normalization Methods for Gray-Scale Handwritten Character Recognition (SYK, SWL), pp. 479–482.
ICDAR-1997-Szmurlo #bound #recognition: Boundary Normalization for Recognition of Non-Touching Non-Degraded Characters (MS), pp. 463–466.
ICDAR-1997-WakaharaO #adaptation #using: Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation (TW, KO), p. 28–?.
ICDAR-1997-WatanabeHYT: Normalization Techniques of Handwritten Numerals for Gabor Filters (MW, YH, TY, ST), p. 303–?.
ICALP-1997-DiekertMM #equation #using: Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.
WIA-1997-Miller #algorithm #context-free grammar #towards: Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.
FME-1997-SilvaSB #clustering #hardware #reduction: A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
RTA-1997-ArtsG #automation #proving: Proving Innermost Normalisation Automatically (TA, JG), pp. 157–171.
TLCA-1997-Akama: A λ-to-CL Translation for Strong Normalization (YA), pp. 1–10.
TLCA-1997-Xi #λ-calculus: Weak and Strong β Normalisations in Typed λ-Calculi (HX), pp. 390–404.
ALP-1997-KhasidashviliO: Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.
ASF+SDF-1997-MoreauK #commutative #compilation: Compilation techniques for associative-commutative normalisation (PEM, HK), p. 11.
CADE-1997-CryanR: Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.
CSL-1997-Voda #recursion: A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
LICS-1997-CosmoK #proving: Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (RDC, DK), pp. 35–46.
RTA-1996-JouannaudR #higher-order #recursion: A Recursive Path Ordering for Higher-Order Terms in η-Long β-Normal Form (JPJ, AR), pp. 108–122.
CAiSE-1996-LammariLJC #constraints #using: Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.
SIGIR-1996-SinghalBM #documentation: Pivoted Document Length Normalization (AS, CB, MM), pp. 21–29.
ALP-1996-FerreiraKP #composition #λ-calculus: λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.
ALP-1996-KhasidashviliG #standard: Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.
ALP-1996-ManoO #higher-order #term rewriting: Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.
ESOP-1996-BakelBF #abstraction #term rewriting: Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
CADE-1996-EglyR #on the: On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.
LICS-1996-AltenkirchHS #polymorphism: Reduction-Free Normalisation for a Polymorphic System (TA, MH, TS), pp. 98–106.
LICS-1996-BethkeKV #algebra #combinator: Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
LICS-1996-Munoz #calculus #confluence: Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (CAM), pp. 440–447.
ICDAR-v2-1995-SrikantanLF #comparison #recognition: Comparison of normalization methods for character recognition (GS, DSL, JTF), pp. 719–722.
PODS-1995-Libkin #database #semistructured data: Normalizing Incomplete Databases (LL), pp. 219–230.
DLT-1995-TipleaE #petri net: Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.
RTA-1995-BakelF #term rewriting #type system: (Head-) Normalization of Typeable Rewrite Systems (SvB, MF), pp. 279–293.
CAiSE-1995-RauhS #standard: Standard Transformations for the Normalization of ER Schemata (OR, ES), pp. 313–326.
LICS-1995-KfouryW #proving #reduction #semantics #λ-calculus: New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
LICS-1995-Piperno: Normalization and Extensionality (AP), pp. 300–310.
ESOP-1994-BohmPG: λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.
CADE-1994-Iwanuma #parallel #query: Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.
LICS-1994-BarbaneraFG #algebra #composition #confluence: Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.
LICS-1994-Marche: Normalised Rewriting and Normalised Completion (CM), pp. 394–403.
ICDAR-1993-AgazziK #2d #documentation #image #markov #modelling #pseudo #recognition #using: Joint normalization and recognition of degraded document images using pseudo-2D hidden Markov models (OEA, SsK), pp. 155–158.
ICDAR-1993-LeePT #evaluation #performance #recognition: Performance evaluation of nonlinear shape normalization methods for the recognition of large-set handwritten characters (SWL, JSP, YT), pp. 402–407.
PODS-1993-Wong #query: Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.
RTA-1993-Khasidashvili #orthogonal #term rewriting: Optimal Normalization in Orthogonal Term Rewriting Systems (ZK), pp. 243–258.
TLCA-1993-Altenkirch #formal method #proving #system f: A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.
TLCA-1993-Berger #proving: Program Extraction from Normalization Proofs (UB0), pp. 91–106.
TLCA-1993-HylandO #proving: Modified Realizability Toposes and Strong Normalization Proofs (JMEH, CHLO), pp. 179–194.
CAiSE-1993-Andonoff #concept #object-oriented: Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.
CIKM-1993-Debenham: Normalizing Knowledge Objects (JKD), pp. 335–343.
CSL-1993-OngR #calculus: A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.
CSL-1993-Ritter #λ-calculus: Normalization for Typed λ Calculi with Explicit Substitution (ER), pp. 295–304.
ILPS-1993-Hanus #lazy evaluation: Combining Lazy Narrowing and Normalization (MH), p. 673.
ICALP-1992-Engelfriet #graph grammar: A Greibach Normal Form for Context-free Graph Grammars (JE), pp. 138–149.
ALP-1992-BundgenE #algorithm #analysis #performance: A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.
ASPLOS-1992-LiP #compilation: Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.
CADE-1992-Fisher #first-order: A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.
CSL-1992-BerarducciB #self #λ-calculus: A Self-Interpreter of λ Calculus Having a Normal Form (AB, CB), pp. 85–99.
JICSLP-1992-Harland #equivalence #logic programming #on the #source code: On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.
RTA-1991-CurienG #confluence #on the: On Confluence for Weakly Normalizing Systems (PLC, GG), pp. 215–225.
RTA-1991-RameshR #incremental #performance #term rewriting: Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems (RR, IVR), pp. 335–347.
TOOLS-USA-1991-Hong #approach #database #design: A Class Normalization Approach to the Design of O-O Databases (SH), pp. 63–72.
CSL-1991-Mundici #logic: Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.
VLDB-1990-Hulin #on the: On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.
ICALP-1990-VermaR #algorithm #term rewriting: Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems (RMV, IVR), pp. 370–385.
ICALP-1990-Wiedermann #metric #problem #ram: Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.
LFP-1990-Cregut #automaton: An Abstract Machine for λ-Terms Normalization (PC), pp. 333–340.
PODS-1989-MannilaR #algorithm #testing: Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.
ICALP-1989-DershowitzKP #infinity: Infinite Normal Forms (ND, SK, DAP), pp. 249–262.
ICALP-1989-TannenG #algebra #confluence #polymorphism: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.
RTA-1989-Bachmair #proving: Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.
RTA-1989-Middeldorp #aspect-oriented #composition #term rewriting: Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.
VLDB-1988-HafezO: The Partial Normalized Storage Model of Nested Relations (AH, GÖ), pp. 100–111.
CSL-1988-OchozkaSS #complexity #logic programming #source code: Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.
SIGMOD-1987-RothK #database #design #relational: The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.
VLDB-1987-WhangN #approach #logic #optimisation #query #recursion: An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments (KYW, SBN), pp. 275–287.
HCI-CE-1987-Gregory #design #user interface: Methodology for Designing a Normalized User Interface (KG), pp. 139–146.
CSL-1987-StepankovaS #logic programming #source code: Developing Logic Programs: Computing Through Normalizing (OS, PS), pp. 304–321.
PODS-1985-OzsoyogluY: A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.
PODS-1984-AbiteboulB: Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.
VLDB-1983-GrahneR #composition #database: Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.
SIGIR-1983-Bollman #metric: The Normalized Recall and Related Measures (PB), pp. 122–128.
STOC-1983-FurerSS #bound #graph: Normal Forms for Trivalent Graphs and Graphs of Bounded Valence (MF, WS, ES), pp. 161–170.
PODS-1982-JaeschkeS #algebra: Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
VLDB-1982-LeDouxP: Reflections on Boyce-Codd Normal Form (CHL, DSPJ), pp. 131–141.
STOC-1981-Chew #term rewriting: Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.
VLDB-1980-BernsteinG #question #what: What does Boyce-Codd Normal Form Do? (PAB, NG), pp. 245–259.
SIGMOD-1979-Fagin #database #relational: Normal Forms and Relational Database Operators (RF), pp. 153–160.
VLDB-1978-BeeriBG #database: A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.
VLDB-1978-Smith78b #syntax: A Normal Form for Abstract Syntax (JMS), pp. 156–162.
ICALP-1978-Zilli #combinator #logic: Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.
VLDB-1977-Makinouchi #relational: A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model (AM), pp. 447–453.
SIGMOD-1976-Sharman: A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.
ICALP-1974-BohmD #combinator #equation #problem: Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.
SIGFIDET-1971-Codd71a #data type #tutorial: Normalized Data Structure: A Brief Tutorial (EFC), pp. 1–17.