Stem normal$ (all stems)

379 papers:

SIGMOD-2015-KumarNP #learning #linear #modelling #normalisation

Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.

VLDB-2015-KumarJYNP #machine learning #normalisation #optimisation

Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.

FoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation #semantics

Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.

MSR-2015-SahaLKP #debugging #question

Are These Bugs Really “Normal”? (RKS, JL, SK, DEP), pp. 258–268.

ICALP-v2-2015-KarbasiLS #network #normalisation

Normalization Phenomena in Asynchronous Networks (AK, JL, AS), pp. 688–700.

ICFP-2015-YangCAEKN #communication #normalisation #performance

Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.

ICML-2015-IoffeS #network #normalisation

Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (SI, CS), pp. 448–456.

ICML-2015-RezendeM #normalisation

Variational Inference with Normalizing Flows (DJR, SM), pp. 1530–1538.

PADL-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.

SAC-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.

ICLP-J-2015-FichteTW #logic programming #source code

Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.

DATE-2014-VijaykumarV #analysis #canonical #statistics #using

Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.

ECIR-2014-Aly #normalisation #parametricity #using

Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.

ICML-c2-2014-SatoKN #analysis #normalisation

Latent Confusion Analysis by Normalized Gamma Construction (IS, HK, HN), pp. 1116–1124.

ICPR-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.

ICPR-2014-MavridouHCL #fourier #image #normalisation #robust

Scale Normalized Radial Fourier Transform as a Robust Image Descriptor (EM, MDH, JLC, AL), pp. 3993–3998.

ECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt

Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.

PPDP-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.

ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.

ICDAR-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.

ICDAR-2013-MiyoshiNS #image #using

Moment-Based Character-Normalization Methods Using a Contour Image Combined with an Original Image (TM, TN, HS), pp. 1066–1070.

ICML-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.

ICML-c3-2013-ChenRBT #metric #normalisation #random

Dependent Normalized Random Measures (CC, VR, WLB, YWT), pp. 969–977.

SIGIR-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.

PPDP-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.

ICSE-2013-Guerrouj #comprehension #normalisation #quality #source code

Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.

CADE-2013-AzmyW #normalisation

Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.

CSL-2013-AschieriBB #normalisation

Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.

LICS-2013-HeimbergKS #bound #normalisation

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.

RTA-2013-Accattoli #linear #logic #normalisation

Linear Logic and Strong Normalization (BA), pp. 39–54.

RTA-2013-VytiniotisJ #normalisation

Evidence Normalization in System FC (Invited Talk) (DV, SLPJ), pp. 20–38.

RTA-2013-WinklerM #normalisation #revisited

Normalized Completion Revisited (SW, AM), pp. 319–334.

TLCA-2013-AschieriZ #nondeterminism #normalisation

Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.

ICSM-2012-BinkleyLU #concept #normalisation

Vocabulary normalization improves IR-based concept location (DB, DL, CU), pp. 588–591.

FLOPS-2012-BiernackiL #bisimulation #normalisation

Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.

DLT-2012-KetemaS #normalisation #string #termination

Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.

ICALP-v1-2012-BabaiCQ #morphism #polynomial

Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.

LATA-2012-Genova #normalisation #set

Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.

CHI-2012-BrownL

The normal natural troubles of driving with GPS (BATB, EL), pp. 1621–1630.

CSCW-2012-MassimiDD

Finding a new normal: the role of technology in life disruptions (MM, JPD, CALD), pp. 719–728.

CIKM-2012-ChiangWD #clustering #network #normalisation #scalability #using

Scalable clustering of signed networks using balance normalized cut (KYC, JJW, ISD), pp. 615–624.

CIKM-2012-KimC #approximate #composition #dependence #functional #performance

Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.

ECIR-2012-LvZ #modelling #normalisation

A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 (YL, CZ), pp. 244–255.

ICML-2012-ChenDB #metric #modelling #normalisation #random #topic

Dependent Hierarchical Normalized Random Measures for Dynamic Topic Modeling (CC, ND, WLB), p. 95.

ICPR-2012-BeyanF

A filtering mechanism for normal fish trajectories (CB, RBF), pp. 2286–2289.

ICPR-2012-HuiC #robust #towards #using

Towards a robust hand-eye calibration using normal flows (TWH, RC), pp. 2545–2548.

ICPR-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.

ICPR-2012-LinnerS #comparison #normalisation #quality #using

Comparison of restoration quality on square and hexagonal grids using normalized convolution (EL, RS), pp. 3046–3049.

ICPR-2012-MatsukawaOS #image #normalisation

Illumination normalization of face images with cast shadows (TM, TO, YS), pp. 1848–1851.

ICPR-2012-PetricekS #3d #recognition

Area-weighted surface normals for 3D object recognition (TP, TS), pp. 1492–1496.

ICPR-2012-StrucZP #normalisation #parametricity #verification

Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.

ICPR-2012-Zhu0N #normalisation #recognition

Discriminative normalization method for handwritten Chinese character recognition (YZ, JS, SN), pp. 274–277.

KDD-2012-ChenY #predict

Position-normalized click prediction in search advertising (YC, TWY), pp. 795–803.

KDD-2012-HiraiY #clustering #detection #normalisation #using

Detecting changes of clustering structures using normalized maximum likelihood coding (SH, KY), pp. 343–351.

SIGIR-2012-MarkovAC #linear #normalisation #revisited

Unsupervised linear score normalization revisited (IM, AA, FC), pp. 1161–1162.

CAV-2012-PaulaHN #debugging #named #nondeterminism

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.

CSL-2012-JouannaudL

Church-Rosser Properties of Normal Rewriting (JPJ, JL), pp. 350–365.

ICDAR-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.

VLDB-2012-RuttenbergS11 #distance #using

Indexing the Earth Mover’s Distance Using Normal Distributions (BER, AKS), pp. 205–216.

ICSM-2011-LawrieB #identifier #source code

Expanding identifiers to normalize source code vocabulary (DL, DB), pp. 113–122.

DLT-J-2010-FrieseSM11 #bottom-up #normalisation #transducer

Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.

CIAA-2011-Gawrychowski #normalisation

Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.

DLT-2011-FiciL #on the #word

On Prefix Normal Words (GF, ZL), pp. 228–238.

LATA-2011-JansenHKN #normalisation

A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.

LATA-2011-LaurenceLNST #normalisation #top-down #transducer

Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.

CHI-2011-ZadehBKC #challenge #design #what

What’s in a move?: normal disruption and a design challenge (RZ, ADB, SBK, JNC), pp. 2897–2906.

CIKM-2011-LvZ #bound #normalisation

Lower-bounding term frequency normalization (YL, CZ), pp. 7–16.

CIKM-2011-LvZ11a #adaptation #normalisation

Adaptive term frequency normalization for BM25 (YL, CZ), pp. 1985–1988.

SAT-2011-BuningZB #normalisation #quantifier

Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.

SAT-2011-KullmannZ #normalisation #on the

On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.

SAT-2011-MundhenkZ #equivalence #how #normalisation

How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.

TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving

Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.

DAC-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.

WCRE-2010-LawrieBM #normalisation #source code

Normalizing Source Code Vocabulary (DJL, DB, CM), pp. 3–12.

FLOPS-2010-Abel #calculus #evaluation #normalisation #towards

Towards Normalization by Evaluation for the βη-Calculus of Constructions (AA), pp. 224–239.

FLOPS-2010-BerardiT #compilation #decompiler #normalisation

Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.

ICEIS-AIDSS-2010-MokotoffGP #multi #normalisation #problem

Normalization Procedures on Multicriteria Decision Making — An Example on Environmental Problems (EM, EG, JP), pp. 206–211.

CIKM-2010-FanWW #clustering #normalisation #performance #visual notation

Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.

ICPR-2010-DiezFSS #edit distance #normalisation

Normalized Sum-over-Paths Edit Distances (SGD, FF, MS, MS), pp. 1044–1047.

ICPR-2010-HuangDLTL #authentication #detection #normalisation

Finger-Vein Authentication Based on Wide Line Detector and Pattern Normalization (BH, YD, RL, DT, WL), pp. 1269–1272.

ICPR-2010-LiD10a #3d #recognition

3D Face Recognition by Deforming the Normal Face (XL, FD), pp. 3975–3978.

ICPR-2010-ZiaeefardE #recognition

Hierarchical Human Action Recognition by Normalized-Polar Histogram (MZ, HE), pp. 3720–3723.

CSL-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.

LICS-2010-PopescuGO #normalisation #system f

Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.

RTA-2010-EndrullisGHKO #normalisation #orthogonal

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.

RTA-2010-KollerT #normalisation

Underspecified computation of normal forms (AK, ST), pp. 177–192.

RTA-2010-Simonsen #convergence #normalisation

Weak Convergence and Uniform Normalization in Infinitary Rewriting (JGS), pp. 311–324.

ICDAR-2009-PirloITS #classification #normalisation

Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.

SIGMOD-2009-HadjieleftheriouKS #approximate #incremental #maintenance #normalisation #string

Incremental maintenance of length normalized indexes for approximate string matching (MH, NK, DS), pp. 429–440.

VLDB-2009-GottlobPS #normalisation #optimisation

Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.

FoSSaCS-2009-LengletSS #bisimulation #calculus

Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.

CIAA-2009-VuilleminG #automaton #normalisation #regular expression

Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.

CIKM-2009-AgarwalKLCGGHRS #normalisation #web

URL normalization for de-duplication of web pages (AA, HSK, KPL, KPC, SG, PKG, CH, AR, AS), pp. 1987–1990.

CIKM-2009-ArampatzisK #approach #normalisation

A signal-to-noise approach to score normalization (AA, JK), pp. 797–806.

CIKM-2009-MeijWR #modelling #normalisation #query

A query model based on normalized log-likelihood (EM, WW, MdR), pp. 1903–1906.

PADL-2009-PereiraP #logic programming #modelling #query #source code #top-down

Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.

SAC-2009-ShellD #precise #simulation

Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.

CSL-2009-Abel #evaluation #normalisation

Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.

LICS-2009-CreusGMT #normalisation #term rewriting

Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.

RTA-2009-GodoyJ #normalisation

Unique Normalization for Shallow TRS (GG, FJ), pp. 63–77.

SAT-2009-Traxler #normalisation

Variable Influences in Conjunctive Normal Forms (PT), pp. 101–113.

ASE-2008-FalleriHN #approach #normalisation

A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.

ICPC-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.

FLOPS-2008-Tatsuta #normalisation

Types for Hereditary Head Normalizing Terms (MT), pp. 195–209.

ICALP-A-2008-FrandsenS #normalisation #polynomial

Dynamic Normal Forms and Dynamic Characteristic Polynomial (GSF, PS), pp. 434–446.

AFP-2008-Danvy08 #normalisation

From Reduction-Based to Reduction-Free Normalization (OD), pp. 66–164.

ECIR-2008-KhalidJR #information retrieval #normalisation

The Impact of Named Entity Normalization on Information Retrieval for Question Answering (MAK, VJ, MdR), pp. 705–710.

ECIR-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.

ICPR-2008-JeanBA #invariant #normalisation #recognition

Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.

ICPR-2008-JiangT #normalisation #robust

Robust shape normalization based on implicit representations (TJ, CT), pp. 1–4.

ICPR-2008-MuseletT #invariant #normalisation

Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.

ICPR-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.

ICPR-2008-WuJP #detection #effectiveness #linear

Effective features based on normal linear structures for detecting microcalcifications in mammograms (ZQW, JJ, YP), pp. 1–4.

ICPR-2008-WuSH #classification #gender

Gender classification based on facial surface normals (JW, WAPS, ERH), pp. 1–4.

KR-2008-Halpern08a

Defaults and Normality in Causal Structures (JYH), pp. 198–208.

SIGIR-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.

OOPSLA-2008-KatsBV #bytecode #compilation #normalisation

Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.

QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.

ICLP-2008-BaseliceB #source code

Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.

ICLP-2008-MarquesS #concurrent #evaluation #source code

Concurrent and Local Evaluation of Normal Programs (RM, TS), pp. 206–222.

LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism

Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.

RTA-2008-Zantema #infinity #normalisation

Normalization of Infinite Terms (HZ), pp. 441–455.

DAC-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.

FASE-2007-ManneringHR #design #safety #towards

Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.

PEPM-2007-Lammel #canonical #normalisation

Style normalization for canonical X-to-O mappings (RL), pp. 31–40.

LOPSTR-2007-DegraveV #normalisation #source code #towards

Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.

CADE-2007-GodoyT #normalisation #on the #term rewriting

On the Normalization and Unique Normalization Properties of Term Rewrite Systems (GG, ST), pp. 247–262.

CSL-2007-LassenL #bisimulation #normalisation

Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.

ICLP-2007-JarvisaloO #logic programming #source code

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.

LICS-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.

LICS-2007-Riba #interactive #normalisation

Strong Normalization as Safe Interaction (CR), pp. 13–22.

RTA-2007-Kikuchi #calculus #normalisation #proving

Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (KK), pp. 257–272.

TLCA-2007-Abel #induction #normalisation

Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.

TLCA-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.

DAC-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.

PODS-2006-KolahiL #dependence #normalisation #on the

On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.

FoSSaCS-2006-PaoliniPR #normalisation

An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.

SCAM-2006-WalensteinMCL #normalisation #term rewriting #using

Normalizing Metamorphic Malware Using Term Rewriting (AW, RM, MRC, AL), pp. 75–84.

ICEIS-ISAS-2006-Ohnishi #generative

Supporting Methods of Generating Alternative Scenarios from a Normal Scenario (AO), pp. 110–117.

ECIR-2006-FernandezVC #normalisation #probability #rank

Probabilistic Score Normalization for Rank Aggregation (MF, DV, PC), pp. 553–556.

ECIR-2006-KarbasiB #documentation #effectiveness #normalisation #scalability #using

Document Length Normalization Using Effective Level of Term Frequency in Large Collections (SK, MB), pp. 72–83.

ICPR-v2-2006-BaiH #case study #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.

ICPR-v2-2006-LiuL #classification #image #using

Genus-Zero Shape Classification Using Spherical Normal Image (SL, JL), pp. 126–129.

ICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using

A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.

ICPR-v3-2006-AbateNRS #3d #fourier #recognition #using

3D Face Recognition using Normal Sphere and General Fourier Descriptor (AFA, MN, DR, GS), pp. 1183–1186.

ICPR-v3-2006-HuS06a #classification #clustering #functional #image #normalisation

Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.

ICPR-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.

ICPR-v4-2006-ProencaA #identification #image #normalisation

A Method for the Identification of Noisy Regions in Normalized Iris Images (HP, LAA), pp. 405–408.

KR-2006-ChenLWZ #first-order #logic programming #source code

First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.

KR-2006-Straccia #logic programming #query #source code

Query Answering under the Any-World Assumption for Normal Logic Programs (US), pp. 329–339.

CSL-2006-Moczydlowski #normalisation

Normalization of IZF with Replacement (WM), pp. 516–530.

LICS-2006-Lassen #bisimulation #normalisation #λ-calculus #μ-calculus

Head Normal Form Bisimulation for Pairs and the λμ-Calculus (SBL), pp. 297–306.

RTA-2006-JouannaudR #higher-order

Higher-Order Orderings for Normal Rewriting (JPJ, AR), pp. 387–399.

SAT-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.

DAC-2005-WedlerSK #normalisation

Normalization at the arithmetic bit level (MW, DS, WK), pp. 457–462.

DRR-2005-ShiG #documentation #image #normalisation #segmentation #using

Historical document image segmentation using background light intensity normalization (ZS, VG), pp. 167–174.

ICDAR-2005-PastorTV #normalisation #online #recognition

Writing Speed Normalization for On-Line Handwritten Text Recognition (MP, AHT, EV), pp. 1131–1135.

ICDAR-2005-SimardSA #normalisation

Ink Normalization and Beautification (PYS, DS, MA), pp. 1182–1187.

CIAA-2005-BastienCFR #equivalence #normalisation

Prime Normal Form and Equivalence of Simple Grammars (CB, JC, WF, WR), pp. 78–89.

LOPSTR-2005-AlvezL #algorithm #logic programming #source code

An Algorithm for Local Variable Elimination in Normal Logic Programs (JÁ, PL), pp. 61–79.

LOPSTR-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.

CSL-2005-Berger #normalisation #theorem

An Abstract Strong Normalization Theorem (UB), pp. 27–35.

LICS-2005-Lassen #bisimulation #normalisation

Eager Normal Form Bisimulation (SL), pp. 345–354.

TLCA-2005-DavidN #normalisation #proving #symmetry #λ-calculus #μ-calculus

Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.

FoSSaCS-2004-FilinskiR #evaluation #normalisation

A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.

FoSSaCS-2004-Polonovski #calculus #normalisation #μ-calculus

Strong Normalization of λμμ-Calculus with Explicit Substitutions (EP), pp. 423–437.

FLOPS-2004-AltenkirchU #evaluation #normalisation

Normalization by Evaluation for λ→2 (TA, TU), pp. 260–275.

FLOPS-2004-Kikuchi #calculus #normalisation #proving

A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.

IFM-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.

ICPR-v1-2004-ShiG #documentation #image #normalisation #using

Historical Document Image Enhancement Using Background Light Intensity Normalization (ZS, VG), pp. 473–476.

ICPR-v1-2004-Vliet #normalisation #robust

Robust Local Max-Min Filters by Normalized Power-Weighted Filtering (LJvV), pp. 696–699.

ICPR-v1-2004-Wakahara #adaptation #correlation #modelling #normalisation #using

Adaptive Normalization of Handwritten Characters Using GAT Correlation and Mixture Models (TW), pp. 393–396.

ICPR-v2-2004-ChennubhotlaJ #detection #distance #normalisation

Perceptual Distance Normalization for Appearance Detection (CC, ADJ), pp. 23–27.

ICPR-v2-2004-EwerthF #detection #difference #normalisation

Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.

ICPR-v2-2004-Ikeda #approximate #re-engineering #using

An Accurate Shape Reconstruction from Photometric Stereo Using Four Approximations of Surface Normal (OI), pp. 220–223.

ICPR-v2-2004-SuW #normalisation #using

Decomposing Chinese Characters into Stroke Segments Using SOGD Filters and Orientation Normalization (YMS, JFW), pp. 351–354.

ICPR-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.

ICPR-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.

KDD-2004-DhillonGK #clustering #kernel #normalisation

Kernel k-means: spectral clustering and normalized cuts (ISD, YG, BK), pp. 551–556.

SIGIR-2004-JinS #case study #collaboration #normalisation

A study of methods for normalizing user ratings in collaborative filtering (RJ, LS), pp. 568–569.

SIGIR-2004-KampsRS #normalisation #retrieval #xml

Length normalization in XML retrieval (JK, MdR, BS), pp. 80–87.

PPDP-2004-DoughertyGL #normalisation

Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.

DAC-2003-StehrGA #analysis #bound #performance #trade-off

Performance trade-off analysis of analog circuits by normal-boundary intersection (GS, HEG, KA), pp. 958–963.

ICDAR-2003-LiuSF #normalisation #recognition

Handwritten Chinese Character Recognition: Alternatives to Nonlinear Normalization (CLL, HS, HF), pp. 524–528.

PODS-2003-ArenasL #approach #normalisation #relational #xml

An information-theoretic approach to normal forms for relational and XML data (MA, LL), pp. 15–26.

ICFP-2003-BeffaraD #exception #normalisation

Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.

AdaEurope-2003-ChanCT #normalisation #random testing #strict #testing

Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.

CIKM-2003-HeO #case study #normalisation #parametricity

A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.

CC-2003-Danvy #monad #normalisation

A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.

CADE-2003-GanzingerS #equivalence #normalisation #reasoning

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.

CSL-2003-DavidG #normalisation #λ-calculus

Strong Normalization of the Typed λws-Calculus (RD, BG), pp. 155–168.

TLCA-2003-Boudol #normalisation #on the

On Strong Normalization in the Intersection Type Discipline (GB), pp. 60–74.

PODS-2002-ArenasL #documentation #normalisation #xml

A Normal Form for XML Documents (MA, LL), pp. 85–96.

FLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting

Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.

FLOPS-2002-LoyerS #logic programming #nondeterminism #semantics #source code

The Well-Founded Semantics in Normal Logic Programs with Uncertainty (YL, US), pp. 152–166.

CIAA-J-2000-Mohri02 #algorithm #transducer

Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.

CIAA-2002-CaronF #normalisation

Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.

ECIR-2002-AmatiR #normalisation

Term Frequency Normalization via Pareto Distributions (GA, CJvR), pp. 183–192.

ICML-2002-Mladenic #learning #normalisation #using #word

Learning word normalization using word suffix and context from unlabeled data (DM), pp. 427–434.

ICPR-v1-2002-ShakunagaS #image #normalisation

Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.

ICPR-v2-2002-AltyncayD #classification #multi #normalisation #problem #question #why

Why Does Output Normalization Create Problems in Multiple Classifier Systems? (HA, MD), pp. 775–778.

ICPR-v2-2002-UjiieOA

A Discriminant Function Considering Normality Improvement of the Distribution (HU, SO, HA), pp. 224–227.

ICPR-v3-2002-BrakensiekKR #adaptation #normalisation #online #recognition

Comparing Normalization and Adaptation Techniques for On-Line Handwriting Recognition (AB, AK, GR), pp. 73–76.

ICPR-v3-2002-LeungKCT #documentation #fuzzy #image #normalisation #using

Normalization of Contrast in Document Images Using Generalized Fuzzy Operator with Least Square Method (CCL, PCKK, FHYC, WKT), pp. 115–118.

ICPR-v3-2002-LiY #clustering #normalisation

Normalized Sampling for Color Clustering in Medical Diagnosis (CHL, PCY), pp. 819–822.

ICPR-v4-2002-DuricLSW #detection #image #using

Using Normal Flow for Detection and Tracking of Limbs in Color Images (ZD, FL, YS, HW), p. 268–?.

ICPR-v4-2002-MorencyD #constraints #using

Stereo Tracking Using ICP and Normal Flow Constraint (LPM, TD), p. 367–?.

KDD-2002-MahoneyC #detection #learning #modelling #network #novel

Learning nonstationary models of normal network traffic for detecting novel attacks (MVM, PKC), pp. 376–385.

SIGIR-2002-ChowdhuryMGF #documentation #normalisation #revisited

Document normalization revisited (AC, MCM, DAG, OF), pp. 381–382.

CSL-2002-AehligJ #normalisation #on the

On Continuous Normalization (KA, FJ), pp. 59–73.

CSL-2002-EsikL #algebra #normalisation

Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.

CSL-2002-Nivelle #normalisation #proving

Extraction of Proofs from the Clausal Normal Form Transformation (HdN), pp. 584–598.

SAT-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.

DAC-2001-GolumbicMR #recognition #using

Factoring and Recognition of Read-Once Functions using Cographs and Normality (MCG, AM, UR), pp. 109–114.

ICDAR-2001-ChoisyB #normalisation #recognition #using

Handwriting Recognition Using Local Methods for Normalization and Global Methods for Recognition (CC, AB), pp. 23–27.

ICDAR-2001-WakaharaKS #adaptation #normalisation #recognition #using

Handwritten Japanese Character Recognition Using Adaptive Normalization by Global Affine Transformation (TW, YK, MS), pp. 424–428.

ICDAR-2001-WangCFZ #normalisation #recognition #set

Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.

CIKM-2001-MontagueA #normalisation

Relevance Score Normalization for Metasearch (MHM, JAA), pp. 427–433.

CSL-2001-Courtieu #normalisation

Normalized Types (PC), pp. 554–569.

ICLP-2001-DrabentM #approach #correctness #declarative #proving #source code

Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.

ICLP-2001-OrejasPP #embedded #logic programming #semantics #source code

Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.

LICS-2001-AltenkirchDHS #evaluation #normalisation #λ-calculus

Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.

LICS-2001-Terui #calculus #normalisation

Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.

RTA-2001-Woinowski #normalisation

A Normal Form for Church-Rosser Language Systems (JRW), pp. 322–337.

TLCA-2001-Filinski #evaluation #normalisation #λ-calculus

Normalization by Evaluation for the Computational λ-Calculus (AF), pp. 151–165.

TLCA-2001-Groote #deduction #normalisation

Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.

WRLA-2000-NakamuraO #evaluation #normalisation #on-demand

The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.

STOC-2000-HallgrenRT #quantum #re-engineering #using

Normal subgroup reconstruction and quantum computation using group representations (SH, AR, ATS), pp. 627–635.

CIKM-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.

ICPR-v1-2000-AvrithisXK #invariant #normalisation #retrieval

Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.

ICPR-v1-2000-SanchezB #normalisation #recognition #video

Color Normalization for Appearance Based Recognition of Video Key-Frames (JMS, XB), pp. 1815–1818.

ICPR-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.

ICPR-v2-2000-Kawatani #normalisation #polynomial #recognition

Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.

ICPR-v2-2000-OliveiraVC #image #normalisation

Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.

ICPR-v3-2000-BenaventeSBVL #normalisation #segmentation

Normalized Color Segmentation for Human Appearance Description (RB, GS, RB, MV, JL), pp. 3637–3641.

ICPR-v3-2000-DuricRR

Qualitative Description of Camera Motion from Histograms of Normal Flow (ZD, ER, AR), pp. 3198–3202.

ICPR-v3-2000-JohanssonKG #detection #normalisation #symmetry #using

Detecting Rotational Symmetries Using Normalized Convolution (BJ, HK, GHG), pp. 3500–3504.

ICPR-v3-2000-VertanB #classification #normalisation #representation

Color Texture Classification by Normalized Color Space Representation (CV, NB), pp. 3584–3587.

SIGIR-2000-Mikheev #approach #documentation #normalisation

Document centered approach to text normalization (AM), pp. 136–143.

TOOLS-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.

CL-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.

RTA-2000-DoughertyG #normalisation #reduction

Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.

ICDAR-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.

ICDAR-1999-NicchiottiS #normalisation

Generalized Projections: A Tool for Cursive Handwriting Normalization (GN, CS), pp. 729–732.

ACIR-1999-KosterDEP #normalisation

Normalization and Matching in the DORO System (CHAK, CD, DvdE, JP).

ICML-1999-GiordanaP #behaviour #on the

On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.

UML-1999-BunseA #modelling

The Normal Object Form: Bridging the Gap from Models to Code (CB, CA), pp. 691–705.

ICSE-1999-YehL #metric #normalisation #precise #towards #using

Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.

ICLP-1999-OrejasP #semantics #source code

Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.

ICLP-1999-RoychoudhuryKR #logic programming #source code

Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.

RTA-1999-BachmairRRT #normalisation #term rewriting

Normalization via Rewrite Closures (LB, CRR, IVR, AT), pp. 190–204.

RTA-1999-CosmoG #normalisation #proving

Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.

FoSSaCS-1998-BottreauM #graph #normalisation

Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.

CSMR-1998-BrandSV #cics #cobol #control flow #legacy #normalisation

Control Flow Normalization for COBOL/CICS Legacy System (MvdB, MPAS, CV), pp. 11–20.

SAS-1998-FagesG #analysis #logic programming #source code

Analysis of Normal Logic Programs (FF, RG), pp. 82–98.

WIA-1998-AlbertGW #algorithm #context-free grammar #normalisation

Extended Context-Free Grammars and Normal Form Algorithms (JA, DG, DW), pp. 1–12.

ICPR-1998-Aranda-GarridoGF #2d #image #normalisation #representation

Representing 2D digital images through a normalized measure of redundancy (MCAG, JAG, JFV), pp. 42–46.

ICPR-1998-GrimNPSF

Initializing normal mixtures of densities (JG, JN, PP, PS, FJF), pp. 886–890.

ICPR-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.

CADE-1998-NonnengartRW #generative #normalisation #on the

On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.

CSL-1998-Barthe #normalisation #type system

Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-Conversion (GB), pp. 241–259.

CSL-1998-KhasidashviliP #normalisation

Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.

CSL-1998-Matthes #fixpoint #normalisation

Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.

JICSLP-1998-AntoniouBM #logic #normalisation

Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.

RTA-1998-Genet #approximate #decidability #normalisation #set

Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.

RTA-1998-Waldmann #decidability #normalisation

Normalization of S-Terms is Decidable (JW), pp. 138–150.

ICDAR-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.

ICDAR-1997-KimL #normalisation #recognition

Nonlinear Shape Normalization Methods for Gray-Scale Handwritten Character Recognition (SYK, SWL), pp. 479–482.

ICDAR-1997-Szmurlo #bound #normalisation #recognition

Boundary Normalization for Recognition of Non-Touching Non-Degraded Characters (MS), pp. 463–466.

ICDAR-1997-WakaharaO #adaptation #normalisation #using

Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation (TW, KO), p. 28–?.

ICDAR-1997-WatanabeHYT #normalisation

Normalization Techniques of Handwritten Numerals for Gabor Filters (MW, YH, TY, ST), p. 303–?.

ICALP-1997-DiekertMM #equation #normalisation #using

Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.

WIA-1997-Miller #algorithm #context-free grammar #normalisation #towards

Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.

FME-1997-SilvaSB #clustering #hardware #normalisation #reduction

A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.

ALP-1997-KhasidashviliO #normalisation

Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.

CADE-1997-CryanR #normalisation

Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.

CSL-1997-Voda #normalisation #recursion

A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.

ILPS-1997-VerbaetenDS #composition #logic programming #source code

Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.

LICS-1997-CosmoK #normalisation #proving

Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) (RDC, DK), pp. 35–46.

TLCA-1997-Akama #normalisation

A λ-to-CL Translation for Strong Normalization (YA), pp. 1–10.

ESOP-1996-BakelBF #abstraction #normalisation #term rewriting

Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.

CAiSE-1996-LammariLJC #constraints #normalisation #using

Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.

SIGIR-1996-SinghalBM #documentation #normalisation

Pivoted Document Length Normalization (AS, CB, MM), pp. 21–29.

ALP-1996-FagesG #constraints #logic programming #semantics #source code

A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.

ALP-1996-FerreiraKP #composition #normalisation #λ-calculus

λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.

ALP-1996-KhasidashviliG #normalisation #standard

Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.

ALP-1996-ManoO #higher-order #normalisation #term rewriting

Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.

CADE-1996-EglyR #normalisation #on the

On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.

JICSLP-1996-EtalleT #composition #semantics #source code

A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.

LICS-1996-BethkeKV #algebra #combinator #normalisation

Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.

LICS-1996-Pradhan #logic programming #semantics #source code

Semantics of Normal Logic Programs and Contested Information (SP), pp. 406–415.

RTA-1996-JouannaudR #higher-order #normalisation #recursion

A Recursive Path Ordering for Higher-Order Terms in η-Long β-Normal Form (JPJ, AR), pp. 108–122.

ICDAR-v1-1995-GuerfaliP #generative #modelling

The Delta LogNormal theory for the generation and modeling of cursive characters (WG, RP), pp. 495–498.

ICDAR-v2-1995-SrikantanLF #comparison #normalisation #recognition

Comparison of normalization methods for character recognition (GS, DSL, JTF), pp. 719–722.

PODS-1995-Libkin #database #normalisation #semistructured data

Normalizing Incomplete Databases (LL), pp. 219–230.

DLT-1995-TipleaE #normalisation #petri net

Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.

CAiSE-1995-RauhS #normalisation #standard

Standard Transformations for the Normalization of ER Schemata (OR, ES), pp. 313–326.

LOPSTR-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.

ICLP-1995-ToniK #abduction #logic programming #reduction #source code

Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.

ILPS-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.

LICS-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.

LICS-1995-MarekNR #complexity #logic #reasoning

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.

LICS-1995-Piperno #normalisation

Normalization and Extensionality (Extended Abstract) (AP), pp. 300–310.

RTA-1995-BakelF #normalisation #term rewriting #type system

(Head-) Normalization of Typeable Rewrite Systems (SvB, MF), pp. 279–293.

ESOP-1994-BohmPG #normalisation

λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.

LOPSTR-1994-BossiE #semantics #source code

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting’s Semantics (AB, SE), pp. 311–331.

LOPSTR-1994-Renault #execution #source code

Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.

CADE-1994-Iwanuma #normalisation #parallel #query

Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.

CADE-1994-Massacci #logic

Strongly Analytic Tableaux for Normal Modal Logics (FM), pp. 723–737.

LICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation

Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.

ICDAR-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.

ICDAR-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.

ICDAR-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.

PODS-1993-Wong #normalisation #query

Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.

DLT-1993-Calude #algorithm

Borel Normality and Algorithmic Randomness (CC), pp. 113–129.

CAiSE-1993-Andonoff #concept #normalisation #object-oriented

Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.

CIKM-1993-Debenham #normalisation

Normalizing Knowledge Objects (JKD), pp. 335–343.

CSL-1993-OngR #calculus #normalisation

A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.

CSL-1993-Ritter #normalisation #λ-calculus

Normalization for Typed λ Calculi with Explicit Substitution (ER), pp. 295–304.

ILPS-1993-Hanus #lazy evaluation #normalisation

Combining Lazy Narrowing and Normalization (MH), p. 673.

ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code

Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.

RTA-1993-Khasidashvili #normalisation #orthogonal #term rewriting

Optimal Normalization in Orthogonal Term Rewriting Systems (ZK), pp. 243–258.

TLCA-1993-Altenkirch #formal method #normalisation #proving #system f

A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.

TLCA-1993-Berger #normalisation #proving

Program Extraction from Normalization Proofs (UB0), pp. 91–106.

TLCA-1993-HylandO #normalisation #proving

Modified Realizability Toposes and Strong Normalization Proofs (JMEH, CHLO), pp. 179–194.

ICALP-1992-Engelfriet #graph grammar #normalisation

A Greibach Normal Form for Context-free Graph Grammars (JE), pp. 138–149.

ALP-1992-BundgenE #algorithm #analysis #normalisation #performance

A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.

ASPLOS-1992-LiP #compilation #normalisation

Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.

CADE-1992-Fisher #first-order #normalisation

A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.

CSL-1992-BerarducciB #normalisation #self #λ-calculus

A Self-Interpreter of λ Calculus Having a Normal Form (AB, CB), pp. 85–99.

JICSLP-1992-BrogiLMM #logic programming #source code

Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.

JICSLP-1992-DeneckerS #abduction #named #source code

SLDNFA: An Abductive Procedure for Normal Abductive Programs (MD, DDS), pp. 686–700.

JICSLP-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.

JICSLP-1992-Harland #equivalence #logic programming #normalisation #on the #source code

On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.

JICSLP-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.

TOOLS-USA-1991-Hong #approach #database #design #normalisation

A Class Normalization Approach to the Design of O-O Databases (SH), pp. 63–72.

CSL-1991-Mundici #logic #normalisation

Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.

ICLP-1991-CasanovaHG

Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.

RTA-1991-CurienG #confluence #normalisation #on the

On Confluence for Weakly Normalizing Systems (PLC, GG), pp. 215–225.

RTA-1991-RameshR #incremental #normalisation #performance #term rewriting

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems (RR, IVR), pp. 335–347.

VLDB-1990-Hulin #normalisation #on the

On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.

ICALP-1990-VermaR #algorithm #normalisation #term rewriting

Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems (RMV, IVR), pp. 370–385.

ICALP-1990-Wiedermann #metric #normalisation #problem #ram

Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.

LFP-1990-Cregut #automaton #normalisation

An Abstract Machine for λ-Terms Normalization (PC), pp. 333–340.

ALP-1990-KanchanasutS #logic programming #source code

Eliminating Negation from Normal Logic Programs (KK, PJS), pp. 217–231.

CLP-1990-Przymusinski90 #semantics #source code

Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.

LICS-1990-GehlotG #process

Normal Process Representatives (VG, CAG), pp. 200–207.

PODS-1989-MannilaR #algorithm #normalisation #testing

Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.

ICALP-1989-DershowitzKP #infinity #normalisation

Infinite Normal Forms (Preliminary Version) (ND, SK, DAP), pp. 249–262.

ICALP-1989-TannenG #algebra #confluence #normalisation #polymorphism

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.

RTA-1989-Bachmair #normalisation #proving

Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.

RTA-1989-Middeldorp #aspect-oriented #composition #normalisation #term rewriting

Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.

VLDB-1988-HafezO #normalisation

The Partial Normalized Storage Model of Nested Relations (AH, GÖ), pp. 100–111.

CSL-1988-OchozkaSS #complexity #logic programming #normalisation #source code

Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.

SIGMOD-1987-RothK #database #design #normalisation #relational

The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.

VLDB-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.

HCI-CE-1987-Gregory #design #normalisation #user interface

Methodology for Designing a Normalized User Interface (KG), pp. 139–146.

CSL-1987-StepankovaS #logic programming #normalisation #source code

Developing Logic Programs: Computing Through Normalizing (OS, PS), pp. 304–321.

PODS-1985-OzsoyogluY #normalisation

A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.

PODS-1984-AbiteboulB #normalisation

Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.

VLDB-1983-ArisawaMM #database #relational

Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.

VLDB-1983-GrahneR #composition #database #normalisation

Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.

STOC-1983-FurerSS #bound #graph #normalisation

Normal Forms for Trivalent Graphs and Graphs of Bounded Valence (MF, WS, ES), pp. 161–170.

SIGIR-1983-Bollman #metric #normalisation

The Normalized Recall and Related Measures (PB), pp. 122–128.

PODS-1982-JaeschkeS #algebra #normalisation

Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.

VLDB-1982-LeDouxP #normalisation

Reflections on Boyce-Codd Normal Form (CHL, DSPJ), pp. 131–141.

SCC-1982-PrattM #experience #semantics

Experience with the Normal Semantic Definition of HAL/S (TWP, GDM), pp. 327–333.

STOC-1981-Chew #normalisation #term rewriting

Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.

VLDB-1980-BernsteinG #normalisation #question #what

What does Boyce-Codd Normal Form Do? (PAB, NG), pp. 245–259.

VLDB-1980-Navathe #approach #network

An Intuitive Approach to Normalize Network Structured Data (SBN), pp. 350–358.

SIGMOD-1979-Fagin #database #normalisation #relational

Normal Forms and Relational Database Operators (RF), pp. 153–160.

VLDB-1978-BeeriBG #database #normalisation

A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.

VLDB-1978-Smith78b #normalisation #syntax

A Normal Form for Abstract Syntax (JMS), pp. 156–162.

STOC-1978-Lueker #graph #problem

Maximization Problems on Graphs with Edge Weights Chosen from a Normal Distribution (Extended Abstract) (GSL), pp. 13–18.

ICALP-1978-Zilli #combinator #logic #normalisation

Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.

VLDB-1977-Makinouchi #normalisation #relational

A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model (AM), pp. 447–453.

SIGMOD-1976-Sharman #normalisation

A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.

ICALP-1974-BohmD #combinator #equation #normalisation #problem

Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.

SIGFIDET-1971-Codd71a #data type #normalisation #tutorial

Normalized Data Structure: A Brief Tutorial (EFC), pp. 1–17.