BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
normalisation
Google normalisation

Tag #normalisation

365 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.