BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
form (82)
program (42)
use (38)
logic (37)
strong (30)

Stem normal$ (all stems)

379 papers:

SIGMODSIGMOD-2015-KumarNP #learning #linear #modelling #normalisation
Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
VLDBVLDB-2015-KumarJYNP #machine learning #normalisation #optimisation
Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.
FoSSaCSFoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation #semantics
Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.
MSRMSR-2015-SahaLKP #debugging #question
Are These Bugs Really “Normal”? (RKS, JL, SK, DEP), pp. 258–268.
ICALPICALP-v2-2015-KarbasiLS #network #normalisation
Normalization Phenomena in Asynchronous Networks (AK, JL, AS), pp. 688–700.
ICFPICFP-2015-YangCAEKN #communication #normalisation #performance
Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
ICMLICML-2015-IoffeS #network #normalisation
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (SI, CS), pp. 448–456.
ICMLICML-2015-RezendeM #normalisation
Variational Inference with Normalizing Flows (DJR, SM), pp. 1530–1538.
PADLPADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference
On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
SACSAC-2015-HuangSZSXD #privacy #pseudo
A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs (JH, MS, SZ, YS, CCX, QD), pp. 688–694.
ICLPICLP-J-2015-FichteTW #logic programming #source code
Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.
DATEDATE-2014-VijaykumarV #analysis #canonical #statistics #using
Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.
ECIRECIR-2014-Aly #normalisation #parametricity #using
Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.
ICMLICML-c2-2014-SatoKN #analysis #normalisation
Latent Confusion Analysis by Normalized Gamma Construction (IS, HK, HN), pp. 1116–1124.
ICPRICPR-2014-DanismanBD #evaluation #gender #normalisation #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 #normalisation #robust
Scale Normalized Radial Fourier Transform as a Robust Image Descriptor (EM, MDH, JLC, AL), pp. 3993–3998.
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
PPDPPPDP-2014-Ilik #continuation #normalisation #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 #normalisation #ocl
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
ICDARICDAR-2013-DuH #approach #normalisation #online #recognition #variability
An Irrelevant Variability Normalization Based Discriminative Training Approach for Online Handwritten Chinese Character Recognition (JD, QH), pp. 69–73.
ICDARICDAR-2013-MiyoshiNS #image #using
Moment-Based Character-Normalization Methods Using a Contour Image Combined with an Original Image (TM, TN, HS), pp. 1066–1070.
ICMLICML-c2-2013-Rebagliati #clustering #fault #normalisation #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 #normalisation #random
Dependent Normalized Random Measures (CC, VR, WLB, YWT), pp. 969–977.
SIGIRSIGIR-2013-RousseauV #ad hoc #composition #information retrieval #normalisation
Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.
PPDPPPDP-2013-Garcia-PerezNM #order #semantics
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
ICSEICSE-2013-Guerrouj #comprehension #normalisation #quality #source code
Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
CADECADE-2013-AzmyW #normalisation
Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.
CSLCSL-2013-AschieriBB #normalisation
Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.
LICSLICS-2013-HeimbergKS #bound #normalisation
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.
RTARTA-2013-Accattoli #linear #logic #normalisation
Linear Logic and Strong Normalization (BA), pp. 39–54.
RTARTA-2013-VytiniotisJ #normalisation
Evidence Normalization in System FC (Invited Talk) (DV, SLPJ), pp. 20–38.
RTARTA-2013-WinklerM #normalisation #revisited
Normalized Completion Revisited (SW, AM), pp. 319–334.
TLCATLCA-2013-AschieriZ #nondeterminism #normalisation
Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
ICSMEICSM-2012-BinkleyLU #concept #normalisation
Vocabulary normalization improves IR-based concept location (DB, DL, CU), pp. 588–591.
FLOPSFLOPS-2012-BiernackiL #bisimulation #normalisation
Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.
DLTDLT-2012-KetemaS #normalisation #string #termination
Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.
ICALPICALP-v1-2012-BabaiCQ #morphism #polynomial
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.
LATALATA-2012-Genova #normalisation #set
Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.
CHICHI-2012-BrownL
The normal natural troubles of driving with GPS (BATB, EL), pp. 1621–1630.
CSCWCSCW-2012-MassimiDD
Finding a new normal: the role of technology in life disruptions (MM, JPD, CALD), pp. 719–728.
CIKMCIKM-2012-ChiangWD #clustering #network #normalisation #scalability #using
Scalable clustering of signed networks using balance normalized cut (KYC, JJW, ISD), pp. 615–624.
CIKMCIKM-2012-KimC #approximate #composition #dependence #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
ECIRECIR-2012-LvZ #modelling #normalisation
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 (YL, CZ), pp. 244–255.
ICMLICML-2012-ChenDB #metric #modelling #normalisation #random #topic
Dependent Hierarchical Normalized Random Measures for Dynamic Topic Modeling (CC, ND, WLB), p. 95.
ICPRICPR-2012-BeyanF
A filtering mechanism for normal fish trajectories (CB, RBF), pp. 2286–2289.
ICPRICPR-2012-HuiC #robust #towards #using
Towards a robust hand-eye calibration using normal flows (TWH, RC), pp. 2545–2548.
ICPRICPR-2012-LiCHWM #3d #kernel #learning #multi #recognition
3D facial expression recognition via multiple kernel learning of Multi-Scale Local Normal Patterns (HL, LC, DH, YW, JMM), pp. 2577–2580.
ICPRICPR-2012-LinnerS #comparison #normalisation #quality #using
Comparison of restoration quality on square and hexagonal grids using normalized convolution (EL, RS), pp. 3046–3049.
ICPRICPR-2012-MatsukawaOS #image #normalisation
Illumination normalization of face images with cast shadows (TM, TO, YS), pp. 1848–1851.
ICPRICPR-2012-PetricekS #3d #recognition
Area-weighted surface normals for 3D object recognition (TP, TS), pp. 1492–1496.
ICPRICPR-2012-StrucZP #normalisation #parametricity #verification
Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPRICPR-2012-Zhu0N #normalisation #recognition
Discriminative normalization method for handwritten Chinese character recognition (YZ, JS, SN), pp. 274–277.
KDDKDD-2012-ChenY #predict
Position-normalized click prediction in search advertising (YC, TWY), pp. 795–803.
KDDKDD-2012-HiraiY #clustering #detection #normalisation #using
Detecting changes of clustering structures using normalized maximum likelihood coding (SH, KY), pp. 343–351.
SIGIRSIGIR-2012-MarkovAC #linear #normalisation #revisited
Unsupervised linear score normalization revisited (IM, AA, FC), pp. 1161–1162.
CAVCAV-2012-PaulaHN #debugging #named #nondeterminism
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
CSLCSL-2012-JouannaudL
Church-Rosser Properties of Normal Rewriting (JPJ, JL), pp. 350–365.
ICDARICDAR-2011-PhanGZN #normalisation #online #recognition
Effects of Line Densities on Nonlinear Normalization for Online Handwritten Japanese Character Recognition (TVP, JG, BZ, MN), pp. 834–838.
VLDBVLDB-2012-RuttenbergS11 #distance #using
Indexing the Earth Mover’s Distance Using Normal Distributions (BER, AKS), pp. 205–216.
ICSMEICSM-2011-LawrieB #identifier #source code
Expanding identifiers to normalize source code vocabulary (DL, DB), pp. 113–122.
DLTDLT-J-2010-FrieseSM11 #bottom-up #normalisation #transducer
Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.
CIAACIAA-2011-Gawrychowski #normalisation
Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.
DLTDLT-2011-FiciL #on the #word
On Prefix Normal Words (GF, ZL), pp. 228–238.
LATALATA-2011-JansenHKN #normalisation
A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.
LATALATA-2011-LaurenceLNST #normalisation #top-down #transducer
Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
CHICHI-2011-ZadehBKC #challenge #design #what
What’s in a move?: normal disruption and a design challenge (RZ, ADB, SBK, JNC), pp. 2897–2906.
CIKMCIKM-2011-LvZ #bound #normalisation
Lower-bounding term frequency normalization (YL, CZ), pp. 7–16.
CIKMCIKM-2011-LvZ11a #adaptation #normalisation
Adaptive term frequency normalization for BM25 (YL, CZ), pp. 1985–1988.
ICSTSAT-2011-BuningZB #normalisation #quantifier
Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.
ICSTSAT-2011-KullmannZ #normalisation #on the
On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.
ICSTSAT-2011-MundhenkZ #equivalence #how #normalisation
How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.
TLCATLCA-2011-Gimenez #difference #linear #logic #normalisation #proving
Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
DACDAC-2010-GaoYWY #analysis #correlation #estimation #performance #statistics
Efficient tail estimation for massive correlated log-normal sums: with applications in statistical leakage analysis (MG, ZY, YW, ZY), pp. 475–480.
WCREWCRE-2010-LawrieBM #normalisation #source code
Normalizing Source Code Vocabulary (DJL, DB, CM), pp. 3–12.
FLOPSFLOPS-2010-Abel #calculus #evaluation #normalisation #towards
Towards Normalization by Evaluation for the βη-Calculus of Constructions (AA), pp. 224–239.
FLOPSFLOPS-2010-BerardiT #compilation #decompiler #normalisation
Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICEISICEIS-AIDSS-2010-MokotoffGP #multi #normalisation #problem
Normalization Procedures on Multicriteria Decision Making — An Example on Environmental Problems (EM, EG, JP), pp. 206–211.
CIKMCIKM-2010-FanWW #clustering #normalisation #performance #visual notation
Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
ICPRICPR-2010-DiezFSS #edit distance #normalisation
Normalized Sum-over-Paths Edit Distances (SGD, FF, MS, MS), pp. 1044–1047.
ICPRICPR-2010-HuangDLTL #authentication #detection #normalisation
Finger-Vein Authentication Based on Wide Line Detector and Pattern Normalization (BH, YD, RL, DT, WL), pp. 1269–1272.
ICPRICPR-2010-LiD10a #3d #recognition
3D Face Recognition by Deforming the Normal Face (XL, FD), pp. 3975–3978.
ICPRICPR-2010-ZiaeefardE #recognition
Hierarchical Human Action Recognition by Normalized-Polar Histogram (MZ, HE), pp. 3720–3723.
CSLCSL-2010-BarthwalN #context-free grammar #formal method #normalisation
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 (AB, MN), pp. 95–109.
LICSLICS-2010-PopescuGO #normalisation #system f
Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.
RTARTA-2010-EndrullisGHKO #normalisation #orthogonal
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
RTARTA-2010-KollerT #normalisation
Underspecified computation of normal forms (AK, ST), pp. 177–192.
RTARTA-2010-Simonsen #convergence #normalisation
Weak Convergence and Uniform Normalization in Infinitary Rewriting (JGS), pp. 311–324.
ICDARICDAR-2009-PirloITS #classification #normalisation
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.
SIGMODSIGMOD-2009-HadjieleftheriouKS #approximate #incremental #maintenance #normalisation #string
Incremental maintenance of length normalized indexes for approximate string matching (MH, NK, DS), pp. 429–440.
VLDBVLDB-2009-GottlobPS #normalisation #optimisation
Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.
FoSSaCSFoSSaCS-2009-LengletSS #bisimulation #calculus
Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.
CIAACIAA-2009-VuilleminG #automaton #normalisation #regular expression
Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.
CIKMCIKM-2009-AgarwalKLCGGHRS #normalisation #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 #normalisation
A signal-to-noise approach to score normalization (AA, JK), pp. 797–806.
CIKMCIKM-2009-MeijWR #modelling #normalisation #query
A query model based on normalized log-likelihood (EM, WW, MdR), pp. 1903–1906.
PADLPADL-2009-PereiraP #logic programming #modelling #query #source code #top-down
Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.
SACSAC-2009-ShellD #precise #simulation
Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
CSLCSL-2009-Abel #evaluation #normalisation
Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.
LICSLICS-2009-CreusGMT #normalisation #term rewriting
Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.
RTARTA-2009-GodoyJ #normalisation
Unique Normalization for Shallow TRS (GG, FJ), pp. 63–77.
ICSTSAT-2009-Traxler #normalisation
Variable Influences in Conjunctive Normal Forms (PT), pp. 101–113.
ASEASE-2008-FalleriHN #approach #normalisation
A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.
ICPCICPC-2008-RoyC08a #detection #flexibility #named #normalisation #pretty-printing #using
NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization (CKR, JRC), pp. 172–181.
FLOPSFLOPS-2008-Tatsuta #normalisation
Types for Hereditary Head Normalizing Terms (MT), pp. 195–209.
ICALPICALP-A-2008-FrandsenS #normalisation #polynomial
Dynamic Normal Forms and Dynamic Characteristic Polynomial (GSF, PS), pp. 434–446.
AFPAFP-2008-Danvy08 #normalisation
From Reduction-Based to Reduction-Free Normalization (OD), pp. 66–164.
ECIRECIR-2008-KhalidJR #information retrieval #normalisation
The Impact of Named Entity Normalization on Information Retrieval for Question Answering (MAK, VJ, MdR), pp. 705–710.
ECIRECIR-2008-NaKL #documentation #modelling #multi #normalisation #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 #normalisation #recognition
Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.
ICPRICPR-2008-JiangT #normalisation #robust
Robust shape normalization based on implicit representations (TJ, CT), pp. 1–4.
ICPRICPR-2008-MuseletT #invariant #normalisation
Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.
ICPRICPR-2008-WangWCW #algorithm #clustering #learning
A clustering algorithm combine the FCM algorithm with supervised learning normal mixture model (WW, CW, XC, AW), pp. 1–4.
ICPRICPR-2008-WuJP #detection #effectiveness #linear
Effective features based on normal linear structures for detecting microcalcifications in mammograms (ZQW, JJ, YP), pp. 1–4.
ICPRICPR-2008-WuSH #classification #gender
Gender classification based on facial surface normals (JW, WAPS, ERH), pp. 1–4.
KRKR-2008-Halpern08a
Defaults and Normality in Causal Structures (JYH), pp. 198–208.
SIGIRSIGIR-2008-WongLW #framework #multi #normalisation #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 #normalisation
Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.
QAPLQAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
ICLPICLP-2008-BaseliceB #source code
Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.
ICLPICLP-2008-MarquesS #concurrent #evaluation #source code
Concurrent and Local Evaluation of Normal Programs (RM, TS), pp. 206–222.
LICSLICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism
Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
RTARTA-2008-Zantema #infinity #normalisation
Normalization of Infinite Terms (HZ), pp. 441–455.
DACDAC-2007-LiP #correlation #multi #parametricity #performance
Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits (XL, LTP), pp. 928–933.
FASEFASE-2007-ManneringHR #design #safety #towards
Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.
PEPMPEPM-2007-Lammel #canonical #normalisation
Style normalization for canonical X-to-O mappings (RL), pp. 31–40.
LOPSTRLOPSTR-2007-DegraveV #normalisation #source code #towards
Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.
CADECADE-2007-GodoyT #normalisation #on the #term rewriting
On the Normalization and Unique Normalization Properties of Term Rewrite Systems (GG, ST), pp. 247–262.
CSLCSL-2007-LassenL #bisimulation #normalisation
Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.
ICLPICLP-2007-JarvisaloO #logic programming #source code
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.
LICSLICS-2007-AbelCD #evaluation #normalisation #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 #normalisation
Strong Normalization as Safe Interaction (CR), pp. 13–22.
RTARTA-2007-Kikuchi #calculus #normalisation #proving
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (KK), pp. 257–272.
TLCATLCA-2007-Abel #induction #normalisation
Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
TLCATLCA-2007-DavidN #calculus #equation #normalisation #proving #recursion
An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.
DACDAC-2006-LiLP #analysis #power management #statistics
Projection-based statistical analysis of full-chip leakage power with non-log-normal distributions (XL, JL, LTP), pp. 103–108.
PODSPODS-2006-KolahiL #dependence #normalisation #on the
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.
FoSSaCSFoSSaCS-2006-PaoliniPR #normalisation
An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.
SCAMSCAM-2006-WalensteinMCL #normalisation #term rewriting #using
Normalizing Metamorphic Malware Using Term Rewriting (AW, RM, MRC, AL), pp. 75–84.
ICEISICEIS-ISAS-2006-Ohnishi #generative
Supporting Methods of Generating Alternative Scenarios from a Normal Scenario (AO), pp. 110–117.
ECIRECIR-2006-FernandezVC #normalisation #probability #rank
Probabilistic Score Normalization for Rank Aggregation (MF, DV, PC), pp. 553–556.
ECIRECIR-2006-KarbasiB #documentation #effectiveness #normalisation #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 #normalisation #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-LiuL #classification #image #using
Genus-Zero Shape Classification Using Spherical Normal Image (SL, JL), pp. 126–129.
ICPRICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using
A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
ICPRICPR-v3-2006-AbateNRS #3d #fourier #recognition #using
3D Face Recognition using Normal Sphere and General Fourier Descriptor (AFA, MN, DR, GS), pp. 1183–1186.
ICPRICPR-v3-2006-HuS06a #classification #clustering #functional #image #normalisation
Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.
ICPRICPR-v4-2006-OliverMMBF #approach #classification
A new approach to the classification of mammographic masses and normal breast tissue (AO, JM, RM, AB, JF), pp. 707–710.
ICPRICPR-v4-2006-ProencaA #identification #image #normalisation
A Method for the Identification of Noisy Regions in Normalized Iris Images (HP, LAA), pp. 405–408.
KRKR-2006-ChenLWZ #first-order #logic programming #source code
First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.
KRKR-2006-Straccia #logic programming #query #source code
Query Answering under the Any-World Assumption for Normal Logic Programs (US), pp. 329–339.
CSLCSL-2006-Moczydlowski #normalisation
Normalization of IZF with Replacement (WM), pp. 516–530.
LICSLICS-2006-Lassen #bisimulation #normalisation #λ-calculus #μ-calculus
Head Normal Form Bisimulation for Pairs and the λμ-Calculus (SBL), pp. 297–306.
RTARTA-2006-JouannaudR #higher-order
Higher-Order Orderings for Normal Rewriting (JPJ, AR), pp. 387–399.
ICSTSAT-2006-KullmannLM #agile #categorisation #kernel #normalisation #satisfiability
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel (OK, IL, JMS), pp. 22–35.
DACDAC-2005-WedlerSK #normalisation
Normalization at the arithmetic bit level (MW, DS, WK), pp. 457–462.
DRRDRR-2005-ShiG #documentation #image #normalisation #segmentation #using
Historical document image segmentation using background light intensity normalization (ZS, VG), pp. 167–174.
ICDARICDAR-2005-PastorTV #normalisation #online #recognition
Writing Speed Normalization for On-Line Handwritten Text Recognition (MP, AHT, EV), pp. 1131–1135.
ICDARICDAR-2005-SimardSA #normalisation
Ink Normalization and Beautification (PYS, DS, MA), pp. 1182–1187.
CIAACIAA-2005-BastienCFR #equivalence #normalisation
Prime Normal Form and Equivalence of Simple Grammars (CB, JC, WF, WR), pp. 78–89.
LOPSTRLOPSTR-2005-AlvezL #algorithm #logic programming #source code
An Algorithm for Local Variable Elimination in Normal Logic Programs (, PL), pp. 61–79.
LOPSTRLOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.
CSLCSL-2005-Berger #normalisation #theorem
An Abstract Strong Normalization Theorem (UB), pp. 27–35.
LICSLICS-2005-Lassen #bisimulation #normalisation
Eager Normal Form Bisimulation (SL), pp. 345–354.
TLCATLCA-2005-DavidN #normalisation #proving #symmetry #λ-calculus #μ-calculus
Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.
FoSSaCSFoSSaCS-2004-FilinskiR #evaluation #normalisation
A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
FoSSaCSFoSSaCS-2004-Polonovski #calculus #normalisation #μ-calculus
Strong Normalization of λμμ-Calculus with Explicit Substitutions (EP), pp. 423–437.
FLOPSFLOPS-2004-AltenkirchU #evaluation #normalisation
Normalization by Evaluation for λ→2 (TA, TU), pp. 260–275.
FLOPSFLOPS-2004-Kikuchi #calculus #normalisation #proving
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.
IFMIFM-2004-WangRL #csp #independence #reachability
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption (XW, AWR, RL), pp. 247–266.
ICPRICPR-v1-2004-ShiG #documentation #image #normalisation #using
Historical Document Image Enhancement Using Background Light Intensity Normalization (ZS, VG), pp. 473–476.
ICPRICPR-v1-2004-Vliet #normalisation #robust
Robust Local Max-Min Filters by Normalized Power-Weighted Filtering (LJvV), pp. 696–699.
ICPRICPR-v1-2004-Wakahara #adaptation #correlation #modelling #normalisation #using
Adaptive Normalization of Handwritten Characters Using GAT Correlation and Mixture Models (TW), pp. 393–396.
ICPRICPR-v2-2004-ChennubhotlaJ #detection #distance #normalisation
Perceptual Distance Normalization for Appearance Detection (CC, ADJ), pp. 23–27.
ICPRICPR-v2-2004-EwerthF #detection #difference #normalisation
Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.
ICPRICPR-v2-2004-Ikeda #approximate #re-engineering #using
An Accurate Shape Reconstruction from Photometric Stereo Using Four Approximations of Surface Normal (OI), pp. 220–223.
ICPRICPR-v2-2004-SuW #normalisation #using
Decomposing Chinese Characters into Stroke Segments Using SOGD Filters and Orientation Normalization (YMS, JFW), pp. 351–354.
ICPRICPR-v4-2004-KimPL #bound #using
Object Boundary Edge Selection Using Normal Direction Derivatives of a Contour in a Complex Scene (TYK, JP, SWL), pp. 755–758.
ICPRICPR-v4-2004-LoutasNP #correlation #evaluation #metric #normalisation #reliability
Evaluation of Tracking Reliability Metrics based on Information Theory and Normalized Correlation (EL, NN, IP), pp. 653–656.
KDDKDD-2004-DhillonGK #clustering #kernel #normalisation
Kernel k-means: spectral clustering and normalized cuts (ISD, YG, BK), pp. 551–556.
SIGIRSIGIR-2004-JinS #case study #collaboration #normalisation
A study of methods for normalizing user ratings in collaborative filtering (RJ, LS), pp. 568–569.
SIGIRSIGIR-2004-KampsRS #normalisation #retrieval #xml
Length normalization in XML retrieval (JK, MdR, BS), pp. 80–87.
PPDPPPDP-2004-DoughertyGL #normalisation
Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.
DACDAC-2003-StehrGA #analysis #bound #performance #trade-off
Performance trade-off analysis of analog circuits by normal-boundary intersection (GS, HEG, KA), pp. 958–963.
ICDARICDAR-2003-LiuSF #normalisation #recognition
Handwritten Chinese Character Recognition: Alternatives to Nonlinear Normalization (CLL, HS, HF), pp. 524–528.
PODSPODS-2003-ArenasL #approach #normalisation #relational #xml
An information-theoretic approach to normal forms for relational and XML data (MA, LL), pp. 15–26.
ICFPICFP-2003-BeffaraD #exception #normalisation
Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.
AdaEuropeAdaEurope-2003-ChanCT #normalisation #random testing #strict #testing
Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.
CIKMCIKM-2003-HeO #case study #normalisation #parametricity
A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.
CCCC-2003-Danvy #monad #normalisation
A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.
CADECADE-2003-GanzingerS #equivalence #normalisation #reasoning
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
CSLCSL-2003-DavidG #normalisation #λ-calculus
Strong Normalization of the Typed λws-Calculus (RD, BG), pp. 155–168.
TLCATLCA-2003-Boudol #normalisation #on the
On Strong Normalization in the Intersection Type Discipline (GB), pp. 60–74.
PODSPODS-2002-ArenasL #documentation #normalisation #xml
A Normal Form for XML Documents (MA, LL), pp. 85–96.
FLOPSFLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.
FLOPSFLOPS-2002-LoyerS #logic programming #nondeterminism #semantics #source code
The Well-Founded Semantics in Normal Logic Programs with Uncertainty (YL, US), pp. 152–166.
CIAACIAA-J-2000-Mohri02 #algorithm #transducer
Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.
CIAACIAA-2002-CaronF #normalisation
Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.
ECIRECIR-2002-AmatiR #normalisation
Term Frequency Normalization via Pareto Distributions (GA, CJvR), pp. 183–192.
ICMLICML-2002-Mladenic #learning #normalisation #using #word
Learning word normalization using word suffix and context from unlabeled data (DM), pp. 427–434.
ICPRICPR-v1-2002-ShakunagaS #image #normalisation
Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPRICPR-v2-2002-AltyncayD #classification #multi #normalisation #problem #question #why
Why Does Output Normalization Create Problems in Multiple Classifier Systems? (HA, MD), pp. 775–778.
ICPRICPR-v2-2002-UjiieOA
A Discriminant Function Considering Normality Improvement of the Distribution (HU, SO, HA), pp. 224–227.
ICPRICPR-v3-2002-BrakensiekKR #adaptation #normalisation #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 #normalisation #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 #normalisation
Normalized Sampling for Color Clustering in Medical Diagnosis (CHL, PCY), pp. 819–822.
ICPRICPR-v4-2002-DuricLSW #detection #image #using
Using Normal Flow for Detection and Tracking of Limbs in Color Images (ZD, FL, YS, HW), p. 268–?.
ICPRICPR-v4-2002-MorencyD #constraints #using
Stereo Tracking Using ICP and Normal Flow Constraint (LPM, TD), p. 367–?.
KDDKDD-2002-MahoneyC #detection #learning #modelling #network #novel
Learning nonstationary models of normal network traffic for detecting novel attacks (MVM, PKC), pp. 376–385.
SIGIRSIGIR-2002-ChowdhuryMGF #documentation #normalisation #revisited
Document normalization revisited (AC, MCM, DAG, OF), pp. 381–382.
CSLCSL-2002-AehligJ #normalisation #on the
On Continuous Normalization (KA, FJ), pp. 59–73.
CSLCSL-2002-EsikL #algebra #normalisation
Greibach Normal Form in Algebraically Complete Semirings (, HL), pp. 135–150.
CSLCSL-2002-Nivelle #normalisation #proving
Extraction of Proofs from the Clausal Normal Form Transformation (HdN), pp. 584–598.
SATSAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #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.
DACDAC-2001-GolumbicMR #recognition #using
Factoring and Recognition of Read-Once Functions using Cographs and Normality (MCG, AM, UR), pp. 109–114.
ICDARICDAR-2001-ChoisyB #normalisation #recognition #using
Handwriting Recognition Using Local Methods for Normalization and Global Methods for Recognition (CC, AB), pp. 23–27.
ICDARICDAR-2001-WakaharaKS #adaptation #normalisation #recognition #using
Handwritten Japanese Character Recognition Using Adaptive Normalization by Global Affine Transformation (TW, YK, MS), pp. 424–428.
ICDARICDAR-2001-WangCFZ #normalisation #recognition #set
Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.
CIKMCIKM-2001-MontagueA #normalisation
Relevance Score Normalization for Metasearch (MHM, JAA), pp. 427–433.
CSLCSL-2001-Courtieu #normalisation
Normalized Types (PC), pp. 554–569.
ICLPICLP-2001-DrabentM #approach #correctness #declarative #proving #source code
Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.
ICLPICLP-2001-OrejasPP #embedded #logic programming #semantics #source code
Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.
LICSLICS-2001-AltenkirchDHS #evaluation #normalisation #λ-calculus
Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.
LICSLICS-2001-Terui #calculus #normalisation
Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.
RTARTA-2001-Woinowski #normalisation
A Normal Form for Church-Rosser Language Systems (JRW), pp. 322–337.
TLCATLCA-2001-Filinski #evaluation #normalisation #λ-calculus
Normalization by Evaluation for the Computational λ-Calculus (AF), pp. 151–165.
TLCATLCA-2001-Groote #deduction #normalisation
Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.
WRLAWRLA-2000-NakamuraO #evaluation #normalisation #on-demand
The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.
STOCSTOC-2000-HallgrenRT #quantum #re-engineering #using
Normal subgroup reconstruction and quantum computation using group representations (SH, AR, ATS), pp. 627–635.
CIKMCIKM-2000-LohKW #approach #database #normalisation #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 #normalisation #retrieval
Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.
ICPRICPR-v1-2000-SanchezB #normalisation #recognition #video
Color Normalization for Appearance Based Recognition of Video Key-Frames (JMS, XB), pp. 1815–1818.
ICPRICPR-v2-2000-JuanV #classification #edit distance #normalisation #on the #performance #string
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 #normalisation #polynomial #recognition
Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.
ICPRICPR-v2-2000-OliveiraVC #image #normalisation
Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.
ICPRICPR-v3-2000-BenaventeSBVL #normalisation #segmentation
Normalized Color Segmentation for Human Appearance Description (RB, GS, RB, MV, JL), pp. 3637–3641.
ICPRICPR-v3-2000-DuricRR
Qualitative Description of Camera Motion from Histograms of Normal Flow (ZD, ER, AR), pp. 3198–3202.
ICPRICPR-v3-2000-JohanssonKG #detection #normalisation #symmetry #using
Detecting Rotational Symmetries Using Normalized Convolution (BJ, HK, GHG), pp. 3500–3504.
ICPRICPR-v3-2000-VertanB #classification #normalisation #representation
Color Texture Classification by Normalized Color Space Representation (CV, NB), pp. 3584–3587.
SIGIRSIGIR-2000-Mikheev #approach #documentation #normalisation
Document centered approach to text normalization (AM), pp. 136–143.
TOOLSTOOLS-ASIA-2000-WuJZ #design #implementation #normalisation #object-oriented #proving
Implementation and Proof for Normalization Design of Object-Oriented Data Schemes (YW, WJ, AZ), pp. 220–229.
ICLPCL-2000-Pallotta #composition #logic #logic programming #semantics #source code
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs (VP), pp. 777–791.
RTARTA-2000-DoughertyG #normalisation #reduction
Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
ICDARICDAR-1999-NakagawaYN #normalisation #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 #normalisation
Generalized Projections: A Tool for Cursive Handwriting Normalization (GN, CS), pp. 729–732.
ECIRACIR-1999-KosterDEP #normalisation
Normalization and Matching in the DORO System (CHAK, CD, DvdE, JP).
ICMLICML-1999-GiordanaP #behaviour #on the
On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.
UMLUML-1999-BunseA #modelling
The Normal Object Form: Bridging the Gap from Models to Code (CB, CA), pp. 691–705.
ICSEICSE-1999-YehL #metric #normalisation #precise #towards #using
Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.
ICLPICLP-1999-OrejasP #semantics #source code
Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.
ICLPICLP-1999-RoychoudhuryKR #logic programming #source code
Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.
RTARTA-1999-BachmairRRT #normalisation #term rewriting
Normalization via Rewrite Closures (LB, CRR, IVR, AT), pp. 190–204.
RTARTA-1999-CosmoG #normalisation #proving
Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.
FoSSaCSFoSSaCS-1998-BottreauM #graph #normalisation
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.
CSMRCSMR-1998-BrandSV #cics #cobol #control flow #legacy #normalisation
Control Flow Normalization for COBOL/CICS Legacy System (MvdB, MPAS, CV), pp. 11–20.
SASSAS-1998-FagesG #analysis #logic programming #source code
Analysis of Normal Logic Programs (FF, RG), pp. 82–98.
CIAAWIA-1998-AlbertGW #algorithm #context-free grammar #normalisation
Extended Context-Free Grammars and Normal Form Algorithms (JA, DG, DW), pp. 1–12.
ICPRICPR-1998-Aranda-GarridoGF #2d #image #normalisation #representation
Representing 2D digital images through a normalized measure of redundancy (MCAG, JAG, JFV), pp. 42–46.
ICPRICPR-1998-GrimNPSF
Initializing normal mixtures of densities (JG, JN, PP, PS, FJF), pp. 886–890.
ICPRICPR-1998-McLachlanP #algorithm #automation #modelling #named #testing
MIXFIT: an algorithm for the automatic fitting and testing of normal mixture models (GJM, DP), pp. 553–557.
CADECADE-1998-NonnengartRW #generative #normalisation #on the
On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.
CSLCSL-1998-Barthe #normalisation #type system
Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-Conversion (GB), pp. 241–259.
CSLCSL-1998-KhasidashviliP #normalisation
Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.
CSLCSL-1998-Matthes #fixpoint #normalisation
Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.
ICLPJICSLP-1998-AntoniouBM #logic #normalisation
Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.
RTARTA-1998-Genet #approximate #decidability #normalisation #set
Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.
RTARTA-1998-Waldmann #decidability #normalisation
Normalization of S-Terms is Decidable (JW), pp. 138–150.
ICDARICDAR-1997-HoriuchiHYY #2d #normalisation #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 #normalisation #recognition
Nonlinear Shape Normalization Methods for Gray-Scale Handwritten Character Recognition (SYK, SWL), pp. 479–482.
ICDARICDAR-1997-Szmurlo #bound #normalisation #recognition
Boundary Normalization for Recognition of Non-Touching Non-Degraded Characters (MS), pp. 463–466.
ICDARICDAR-1997-WakaharaO #adaptation #normalisation #using
Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation (TW, KO), p. 28–?.
ICDARICDAR-1997-WatanabeHYT #normalisation
Normalization Techniques of Handwritten Numerals for Gabor Filters (MW, YH, TY, ST), p. 303–?.
ICALPICALP-1997-DiekertMM #equation #normalisation #using
Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.
CIAAWIA-1997-Miller #algorithm #context-free grammar #normalisation #towards
Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.
FMFME-1997-SilvaSB #clustering #hardware #normalisation #reduction
A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
PPDPALP-1997-KhasidashviliO #normalisation
Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.
CADECADE-1997-CryanR #normalisation
Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.
CSLCSL-1997-Voda #normalisation #recursion
A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
ICLPILPS-1997-VerbaetenDS #composition #logic programming #source code
Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.
LICSLICS-1997-CosmoK #normalisation #proving
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) (RDC, DK), pp. 35–46.
TLCATLCA-1997-Akama #normalisation
A λ-to-CL Translation for Strong Normalization (YA), pp. 1–10.
ESOPESOP-1996-BakelBF #abstraction #normalisation #term rewriting
Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
CAiSECAiSE-1996-LammariLJC #constraints #normalisation #using
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.
SIGIRSIGIR-1996-SinghalBM #documentation #normalisation
Pivoted Document Length Normalization (AS, CB, MM), pp. 21–29.
PPDPALP-1996-FagesG #constraints #logic programming #semantics #source code
A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.
PPDPALP-1996-FerreiraKP #composition #normalisation #λ-calculus
λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.
PPDPALP-1996-KhasidashviliG #normalisation #standard
Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.
PPDPALP-1996-ManoO #higher-order #normalisation #term rewriting
Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.
CADECADE-1996-EglyR #normalisation #on the
On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.
ICLPJICSLP-1996-EtalleT #composition #semantics #source code
A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.
LICSLICS-1996-BethkeKV #algebra #combinator #normalisation
Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
LICSLICS-1996-Pradhan #logic programming #semantics #source code
Semantics of Normal Logic Programs and Contested Information (SP), pp. 406–415.
RTARTA-1996-JouannaudR #higher-order #normalisation #recursion
A Recursive Path Ordering for Higher-Order Terms in η-Long β-Normal Form (JPJ, AR), pp. 108–122.
ICDARICDAR-v1-1995-GuerfaliP #generative #modelling
The Delta LogNormal theory for the generation and modeling of cursive characters (WG, RP), pp. 495–498.
ICDARICDAR-v2-1995-SrikantanLF #comparison #normalisation #recognition
Comparison of normalization methods for character recognition (GS, DSL, JTF), pp. 719–722.
PODSPODS-1995-Libkin #database #normalisation #semistructured data
Normalizing Incomplete Databases (LL), pp. 219–230.
DLTDLT-1995-TipleaE #normalisation #petri net
Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.
CAiSECAiSE-1995-RauhS #normalisation #standard
Standard Transformations for the Normalization of ER Schemata (OR, ES), pp. 313–326.
LOPSTRLOPSTR-1995-Renault #logic programming #proving #source code #towards
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion (SR), pp. 204–218.
ICLPICLP-1995-ToniK #abduction #logic programming #reduction #source code
Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
ICLPILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code
A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.
LICSLICS-1995-KfouryW #normalisation #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-MarekNR #complexity #logic #reasoning
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.
LICSLICS-1995-Piperno #normalisation
Normalization and Extensionality (Extended Abstract) (AP), pp. 300–310.
RTARTA-1995-BakelF #normalisation #term rewriting #type system
(Head-) Normalization of Typeable Rewrite Systems (SvB, MF), pp. 279–293.
ESOPESOP-1994-BohmPG #normalisation
λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.
LOPSTRLOPSTR-1994-BossiE #semantics #source code
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting’s Semantics (AB, SE), pp. 311–331.
LOPSTRLOPSTR-1994-Renault #execution #source code
Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
CADECADE-1994-Iwanuma #normalisation #parallel #query
Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.
CADECADE-1994-Massacci #logic
Strongly Analytic Tableaux for Normal Modal Logics (FM), pp. 723–737.
LICSLICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation
Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.
ICDARICDAR-1993-AgazziK #2d #documentation #image #markov #modelling #normalisation #pseudo #recognition #using
Joint normalization and recognition of degraded document images using pseudo-2D hidden Markov models (OEA, SsK), pp. 155–158.
ICDARICDAR-1993-HamanakaYT #feature model #online #recognition
On-line Japanese character recognition experiments by an off-line method based on normalization-cooperated feature extraction (MH, KY, JT), pp. 204–207.
ICDARICDAR-1993-LeePT #evaluation #normalisation #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 #normalisation #query
Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.
DLTDLT-1993-Calude #algorithm
Borel Normality and Algorithmic Randomness (CC), pp. 113–129.
CAiSECAiSE-1993-Andonoff #concept #normalisation #object-oriented
Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.
CIKMCIKM-1993-Debenham #normalisation
Normalizing Knowledge Objects (JKD), pp. 335–343.
CSLCSL-1993-OngR #calculus #normalisation
A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.
CSLCSL-1993-Ritter #normalisation #λ-calculus
Normalization for Typed λ Calculi with Explicit Substitution (ER), pp. 295–304.
ICLPILPS-1993-Hanus #lazy evaluation #normalisation
Combining Lazy Narrowing and Normalization (MH), p. 673.
ICLPILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code
Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
RTARTA-1993-Khasidashvili #normalisation #orthogonal #term rewriting
Optimal Normalization in Orthogonal Term Rewriting Systems (ZK), pp. 243–258.
TLCATLCA-1993-Altenkirch #formal method #normalisation #proving #system f
A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.
TLCATLCA-1993-Berger #normalisation #proving
Program Extraction from Normalization Proofs (UB0), pp. 91–106.
TLCATLCA-1993-HylandO #normalisation #proving
Modified Realizability Toposes and Strong Normalization Proofs (JMEH, CHLO), pp. 179–194.
ICALPICALP-1992-Engelfriet #graph grammar #normalisation
A Greibach Normal Form for Context-free Graph Grammars (JE), pp. 138–149.
PPDPALP-1992-BundgenE #algorithm #analysis #normalisation #performance
A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.
ASPLOSASPLOS-1992-LiP #compilation #normalisation
Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.
CADECADE-1992-Fisher #first-order #normalisation
A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.
CSLCSL-1992-BerarducciB #normalisation #self #λ-calculus
A Self-Interpreter of λ Calculus Having a Normal Form (AB, CB), pp. 85–99.
ICLPJICSLP-1992-BrogiLMM #logic programming #source code
Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.
ICLPJICSLP-1992-DeneckerS #abduction #named #source code
SLDNFA: An Abductive Procedure for Normal Abductive Programs (MD, DDS), pp. 686–700.
ICLPJICSLP-1992-FerrandD #correctness #logic programming #proving #source code
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs (GF, PD), pp. 161–174.
ICLPJICSLP-1992-Harland #equivalence #logic programming #normalisation #on the #source code
On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.
ICLPJICSLP-1992-KempSS #bottom-up #evaluation #logic programming #query #source code #strict
Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.
TOOLSTOOLS-USA-1991-Hong #approach #database #design #normalisation
A Class Normalization Approach to the Design of O-O Databases (SH), pp. 63–72.
CSLCSL-1991-Mundici #logic #normalisation
Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.
ICLPICLP-1991-CasanovaHG
Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
RTARTA-1991-CurienG #confluence #normalisation #on the
On Confluence for Weakly Normalizing Systems (PLC, GG), pp. 215–225.
RTARTA-1991-RameshR #incremental #normalisation #performance #term rewriting
Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems (RR, IVR), pp. 335–347.
VLDBVLDB-1990-Hulin #normalisation #on the
On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.
ICALPICALP-1990-VermaR #algorithm #normalisation #term rewriting
Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems (RMV, IVR), pp. 370–385.
ICALPICALP-1990-Wiedermann #metric #normalisation #problem #ram
Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.
LISPLFP-1990-Cregut #automaton #normalisation
An Abstract Machine for λ-Terms Normalization (PC), pp. 333–340.
PPDPALP-1990-KanchanasutS #logic programming #source code
Eliminating Negation from Normal Logic Programs (KK, PJS), pp. 217–231.
ICLPCLP-1990-Przymusinski90 #semantics #source code
Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.
LICSLICS-1990-GehlotG #process
Normal Process Representatives (VG, CAG), pp. 200–207.
PODSPODS-1989-MannilaR #algorithm #normalisation #testing
Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.
ICALPICALP-1989-DershowitzKP #infinity #normalisation
Infinite Normal Forms (Preliminary Version) (ND, SK, DAP), pp. 249–262.
ICALPICALP-1989-TannenG #algebra #confluence #normalisation #polymorphism
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.
RTARTA-1989-Bachmair #normalisation #proving
Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.
RTARTA-1989-Middeldorp #aspect-oriented #composition #normalisation #term rewriting
Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.
VLDBVLDB-1988-HafezO #normalisation
The Partial Normalized Storage Model of Nested Relations (AH, ), pp. 100–111.
CSLCSL-1988-OchozkaSS #complexity #logic programming #normalisation #source code
Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.
SIGMODSIGMOD-1987-RothK #database #design #normalisation #relational
The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.
VLDBVLDB-1987-WhangN #approach #logic #normalisation #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 #normalisation #user interface
Methodology for Designing a Normalized User Interface (KG), pp. 139–146.
CSLCSL-1987-StepankovaS #logic programming #normalisation #source code
Developing Logic Programs: Computing Through Normalizing (OS, PS), pp. 304–321.
PODSPODS-1985-OzsoyogluY #normalisation
A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.
PODSPODS-1984-AbiteboulB #normalisation
Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.
VLDBVLDB-1983-ArisawaMM #database #relational
Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.
VLDBVLDB-1983-GrahneR #composition #database #normalisation
Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.
STOCSTOC-1983-FurerSS #bound #graph #normalisation
Normal Forms for Trivalent Graphs and Graphs of Bounded Valence (MF, WS, ES), pp. 161–170.
SIGIRSIGIR-1983-Bollman #metric #normalisation
The Normalized Recall and Related Measures (PB), pp. 122–128.
PODSPODS-1982-JaeschkeS #algebra #normalisation
Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
VLDBVLDB-1982-LeDouxP #normalisation
Reflections on Boyce-Codd Normal Form (CHL, DSPJ), pp. 131–141.
PLDISCC-1982-PrattM #experience #semantics
Experience with the Normal Semantic Definition of HAL/S (TWP, GDM), pp. 327–333.
STOCSTOC-1981-Chew #normalisation #term rewriting
Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.
VLDBVLDB-1980-BernsteinG #normalisation #question #what
What does Boyce-Codd Normal Form Do? (PAB, NG), pp. 245–259.
VLDBVLDB-1980-Navathe #approach #network
An Intuitive Approach to Normalize Network Structured Data (SBN), pp. 350–358.
SIGMODSIGMOD-1979-Fagin #database #normalisation #relational
Normal Forms and Relational Database Operators (RF), pp. 153–160.
VLDBVLDB-1978-BeeriBG #database #normalisation
A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.
VLDBVLDB-1978-Smith78b #normalisation #syntax
A Normal Form for Abstract Syntax (JMS), pp. 156–162.
STOCSTOC-1978-Lueker #graph #problem
Maximization Problems on Graphs with Edge Weights Chosen from a Normal Distribution (Extended Abstract) (GSL), pp. 13–18.
ICALPICALP-1978-Zilli #combinator #logic #normalisation
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.
VLDBVLDB-1977-Makinouchi #normalisation #relational
A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model (AM), pp. 447–453.
SIGMODSIGMOD-1976-Sharman #normalisation
A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.
ICALPICALP-1974-BohmD #combinator #equation #normalisation #problem
Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.
SIGMODSIGFIDET-1971-Codd71a #data type #normalisation #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.