Stem numer$ (all stems)

265 papers:

CASE-2015-LiaoHJ #multi

Numerical testbed of a multiple-chiller plant for centralized HVAC systems (YL, GH, QsJ), pp. 699–701.

DATE-2015-RustLP #approximate #architecture

QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.

DATE-2015-RustP #approximate #design #multi

Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.

PLDI-2015-SinghPV #performance #program analysis

Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.

CIAA-2015-DangDFH #automaton #security

Security of Numerical Sensors in Automata (ZD, DD, TRF, WJHI), pp. 76–88.

DHM-HM-2015-WangTTITGH #analysis

Numerical Analysis on “Kana-Ami” Structure Between Expert and Non-expert (ZW, KiT, TT, KI, YT, AG, HH), pp. 192–200.

ICML-2015-GuptaAGN #learning #precise

Deep Learning with Limited Numerical Precision (SG, AA, KG, PN), pp. 1737–1746.

OOPSLA-2015-FuBS #analysis #automation #fault

Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.

SAC-2015-XuYYHHK #multi #predict #using

Solar irradiance forecasting using multi-layer cloud tracking and numerical weather prediction (JX, SY, DY, DH, JH, PK), pp. 2225–2230.

HPDC-2015-ElliottHM #fault #linear

A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.

ICST-2015-BaiSP #fault #named #using

NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.

ESOP-2014-Fu #abstraction #analysis #memory management

Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.

TACAS-2014-HuthK #automation #named #reasoning #trust

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.

SAS-2014-MonniauxS

Speeding Up Logico-Numerical Strategy Iteration (DM, PS), pp. 253–267.

GPCE-2014-HessGP #automation #interface

Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.

FSE-2014-Gao #program analysis #testing

Numerical program analysis and testing (ZG), pp. 779–782.

VMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability

Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.

CASE-2013-ZhouSHJLS #lens #simulation

Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.

SIGMOD-2013-ZhangC #semantics #web

InfoGather+: semantic matching and annotation of numeric and time-varying attributes in web tables (MZ, KC), pp. 145–156.

SAS-2013-Goubault #abstract interpretation #source code #static analysis

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.

SAS-2013-PartushY #difference #semantics #source code

Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.

LATA-2013-Schaeffer #word

Ostrowski Numeration and the Local Period of Sturmian Words (LS), pp. 493–503.

DHM-HB-2013-MilanowiczB #case study #re-engineering

Numerical Reconstruction of the Real-Life Fatal Accident at Work: A Case Study (MM, PB), pp. 101–110.

HCI-AS-2013-TsumoriN #design #evaluation #using

Design and Evaluation of Training System for Numerical Calculation Using Questions in SPI2 (ST, KN), pp. 511–520.

VISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation

Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.

CIKM-2013-IdaNM #independence #online #topic

Domain-dependent/independent topic switching model for online reviews with numerical ratings (YI, TN, TM), pp. 229–238.

ICML-c3-2013-VladymyrovC #performance

Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.

SAC-2013-ChenLWW #abstraction #source code #static analysis

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.

ISSTA-2013-ChocklerEY #concurrent #fault

Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.

VMCAI-2013-SchrammelS

Logico-Numerical Max-Strategy Iteration (PS, PS), pp. 414–433.

VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.

CASE-2012-SawadaS #design #feedback #on the #optimisation

On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.

CASE-2012-VoisembertRM #evaluation

Numerical evaluation of a new robotic manipulator based on inflatable joints (SV, AR, NM), pp. 544–549.

TACAS-2012-DSilvaHKT #analysis #bound #learning

Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.

LATA-2012-Hovland #constraints #problem #regular expression

The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.

FM-2012-HojjatKGIKR #tool support #verification

A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.

PADL-2012-St-AmourTFF #type system

Typing the Numeric Tower (VSA, STH, MF, MF), pp. 289–303.

CAV-2012-ChaudhuriS #named #optimisation #source code

Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.

ICST-2012-KruseBW #combinator #constraints #interactive #testing

Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.

DRR-2011-HajiBS #automation #documentation #image #string

Automatic extraction of numeric strings in unconstrained handwritten document images (MMH, TDB, CYS), pp. 1–10.

SAS-2011-SchrammelJ #data flow #source code #verification

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.

LATA-2011-Rampersad

Abstract Numeration Systems (NR), pp. 65–79.

ICEIS-J-2011-MeisenMSJ11a #adaptation #integration #semantic gap #simulation

Adaptive Information Integration: Bridging the Semantic Gap between Numerical Simulations (TM, PM, DS, SJ), pp. 51–65.

CIKM-2011-DavisLMR #detection #graph

Detecting anomalies in graphs with numeric labels (MD, WL, PCM, GR), pp. 1197–1202.

KDD-2011-PlantB #category theory #clustering #named

INCONCO: interpretable clustering of numerical and categorical objects (CP, CB), pp. 1127–1135.

OOPSLA-2011-DarulovaK #scala

Trustworthy numerical computation in Scala (ED, VK), pp. 325–344.

CAV-2011-HagueL #data type #model checking #recursion #source code

Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.

ESOP-2010-AdjeGG #invariant #policy #static analysis

Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.

CSMR-2010-OlivetoKAG #approach

Numerical Signatures of Antipatterns: An Approach Based on B-Splines (RO, FK, GA, YGG), pp. 248–251.

SAS-2010-AmatoPS #abstract domain #analysis #component

Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.

SAS-2010-Chapoutot #abstract domain #float

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.

SAS-2010-McCloskeyRS #array #invariant

Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.

DLT-2010-Rigo #formal method

Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.

LATA-2010-PolicritiTV #random

A Randomized Numerical Aligner (rNA) (AP, AIT, FV), pp. 512–523.

CIKM-2010-MadaniY #analysis #topic

Discovery of numerous specific topics via term co-occurrence analysis (OM, JY), pp. 1841–1844.

ICPR-2010-HeLS #automation #recognition #verification

Automatic Discrimination between Confusing Classes with Writing Styles Verification in Arabic Handwritten Numeral Recognition (CLH, LL, CYS), pp. 2045–2048.

ICPR-2010-LawalAM #abduction #classification #network #recognition #using

Recognition of Handwritten Arabic (Indian) Numerals Using Freeman’s Chain Codes and Abductive Network Classifiers (IAL, REAA, SAM), pp. 1884–1887.

POPL-2010-MagillTLT #abstraction #automation #source code

Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.

LDTA-2009-DennisJW10 #algorithm #analysis #automation #memory management #named

SLAMM — Automating Memory Analysis for Numerical Algorithms (JMD, ERJ, WMW), pp. 89–104.

CGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards

Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.

ICTSS-2010-MeinkeN #approach #testing

A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.

IJCAR-2010-MagkaKH #data type #logic

Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.

ISSTA-2010-TangBLS #analysis #float #statistics

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.

DAC-2009-DongL #integration #performance #simulation

Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.

ICDAR-2009-AlaeiNP #classification

Fine Classification of Unconstrained Handwritten Persian/Arabic Numerals by Removing Confusion amongst Similar Classes (AA, PN, UP), pp. 601–605.

ICDAR-2009-BulacuBZS #recognition #scalability

Recognition of Handwritten Numerical Fields in a Large Single-Writer Historical Collection (MB, AB, TvdZ, LS), pp. 808–812.

ICDAR-2009-HeLS #analysis #linear #metric #novel #recognition

A Novel Rejection Measurement in Handwritten Numeral Recognition Based on Linear Discriminant Analysis (CLH, LL, CYS), pp. 451–455.

ICDAR-2009-PanBS #recognition #using

Isolated Handwritten Farsi Numerals Recognition Using Sparse and Over-Complete Representations (WP, TDB, CYS), pp. 586–590.

ICDAR-2009-WangLJ #learning #modelling #segmentation #statistics #string

Statistical Modeling and Learning for Recognition-Based Handwritten Numeral String Segmentation (YW, XL, YJ), pp. 421–425.

VLDB-2009-ElmeleegyECAZ #approximate #linear #online #precise

Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.

WCRE-1999-CapobiancoLOPP99a #analysis #traceability #using

Traceability Recovery Using Numerical Analysis (GC, ADL, RO, AP, SP), pp. 195–204.

PEPM-2009-Martel #precise #program transformation

Program transformation for numerical precision (MM), pp. 101–110.

STOC-2009-ClarksonW #algebra #linear #streaming

Numerical linear algebra in the streaming model (KLC, DPW), pp. 205–214.

ICALP-v2-2009-Boldo #case study #float #verification

Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.

CAV-2009-BouissouGPTV #named #source code

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.

CAV-2009-JeannetM #abstract domain #library #named #static analysis

Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.

SIGMOD-2008-LiTX #privacy #proximity

Preservation of proximity privacy in publishing numerical sensitive data (JL, YT, XX), pp. 473–486.

ESOP-2008-Allamigeon #abstraction #array

Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.

SAC-2008-DouillardJ #constraints #heuristic

Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.

SAC-2008-FabreS

Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.

SAC-2008-LasserreLR #algebra #algorithm

Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.

CAV-2008-GulavaniG #abstract domain #abstraction #analysis

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (BSG, SG), pp. 370–384.

ICDAR-2007-HuangLM #string #using

Cryptogram Decoding for OCR Using Numerization Strings (GBH, EGLM, AM), pp. 208–212.

ICDAR-2007-HuangSHFN #approach #difference #recognition #using

An SVM-Based High-accurate Recognition Approach for Handwritten Numerals by Using Difference Features (KH, JS, YH, KF, SN), pp. 589–593.

ICDAR-2007-PalSWK07a #recognition

Handwritten Numeral Recognition of Six Popular Indian Scripts (UP, NS, TW, FK), pp. 749–753.

ICDAR-2007-ZiaratbanFF #feature model #recognition #using

Language-Based Feature Extraction Using Template-Matching In Farsi/Arabic Handwritten Numeral Recognition (MZ, KF, FF), pp. 297–301.

ICEIS-AIDSS-2007-WenningGTSK #algorithm #distributed #framework

Investigations on Object-Centered Routing in Dynamic Environments: Algorithmic Framework and Initial Numerical Results — Support for Distributed Decision Making in Transport Systems (BLW, CG, ATG, JS, HK), pp. 225–230.

GTTSE-2007-ChellappaFP #how #performance

How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.

DATE-2006-HassenT #on the #probability #term rewriting #verification

On the numerical verification of probabilistic rewriting systems (JBH, ST), pp. 1223–1224.

SCAM-2006-FaganHU #data transformation #modelling #representation #semantics

Data Representation Alternatives in Semantically Augmented Numerical Models (MWF, LH, JU), pp. 85–94.

SAS-2006-GoubaultP #algorithm #static analysis

Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.

SAS-2006-SankaranarayananISG #static analysis

Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.

ICPR-v3-2006-ChatelainHP #documentation

A two-stage outlier rejection strategy for numerical field extraction in handwritten documents (CC, LH, TP), pp. 224–227.

ICPR-v4-2006-WongYL #identification #predict

Identifying Weather Systems from Numerical Weather Prediction Data (KYW, CLY, PWL), pp. 841–844.

KDD-2006-CaldersGJ #mining #set

Mining rank-correlated sets of numerical attributes (TC, BG, SJ), pp. 96–105.

LOPSTR-2006-BagnaraDHMZ #named

Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.

SAC-2006-AltLM #linear #on the #probability #problem #using

On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.

SAC-2006-Lindgren #on the

On handling conflicts between rules with numerical features (TL), pp. 37–41.

HPDC-2006-FrommerH #grid #quality

Ensuring numerical quality in grid computing (AF, MH), pp. 335–336.

ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification

Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.

VMCAI-2006-Mine #abstract domain #precise

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.

DRR-2005-SadriSB #approach #recognition #segmentation #string

New approach for segmentation and recognition of handwritten numeral strings (JS, CYS, TDB), pp. 92–100.

ICDAR-2005-BhattacharyaC #classification #recognition

Fusion of Combination Rules of an Ensemble of MLP Classifiers for Improved Recognition Accuracy of Handprinted Bangla Numerals (UB, BBC), pp. 322–326.

ICDAR-2005-MozaffariFFZ #composition #statistics

Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.

ICDAR-2005-RoyPPK #recognition

Oriya Handwritten Numeral Recognition Syste (KR, TP, UP, FK), pp. 770–774.

ICDAR-2005-Suwa #graph #representation #segmentation

Segmentation of Connected Handwritten Numerals by Graph Representation (MS), pp. 750–754.

ICDAR-2005-ZhangBS #feature model #hybrid #recognition

Hybrid Feature Extraction and Feature Selection for Improving Recognition Accuracy of Handwritten Numerals (PZ, TDB, CYS), pp. 136–140.

ICDAR-2005-ZhouS #approach #fault #recognition #using

Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.

SAS-2005-BagnaraHMZ #abstraction

Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.

SAS-2005-Muller-OlmS #analysis #framework #interprocedural

A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.

IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.

KDD-2005-LiRGMAEGATJ #automation #detection

Automated detection of frontal systems from numerical model-generated data (XL, RR, SJG, SM, BA, DE, SG, RA, JT, JCJ), pp. 782–787.

POPL-2005-GopanRS #analysis #array #framework

A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.

SAC-2005-Ferrer-TroyanoAS #data type #incremental #learning

Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.

SAC-2005-GoualardG #constraints #network

Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.

CAV-2005-Monniaux #analysis #composition #float #linear

Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.

VMCAI-2005-Martel #bibliography #semantics #source code #validation

An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.

DRR-2004-TripathyPP #recognition

System for Oriya handwritten numeral recognition (NT, MP, UP), pp. 174–181.

SIGMOD-2004-AgrawalKSX #encryption

Order-Preserving Encryption for Numeric Data (RA, JK, RS, YX), pp. 563–574.

TACAS-2004-GopanDDRS

Numeric Domains with Summarized Dimensions (DG, FD, ND, TWR, SS), pp. 512–529.

TACAS-2004-YounesKNP #empirical #model checking #probability #statistics

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.

STOC-2004-BurgisserC #algebra #complexity #set

Counting complexity classes for numeric computations II: algebraic and semialgebraic sets (PB, FC), pp. 475–485.

CHI-2004-IngmarssonDZ #named

TNT: a numeric keypad based text input method (MI, DD, SZ), pp. 639–646.

ICEIS-v2-2004-KooptiwootS #mining #set #using

Mining the Relationships in the Form of the Predisposing Factors and Coincident Factors Among Numerical Dynamic Attributes in Time Series Data Set by Using the Combination of Some Existing Techniques (SK, MAS), pp. 327–334.

ICPR-v1-2004-LiuM #classification #recognition #string

Handwritten Numeral String Recognition: Character-Level vs. String-Level Classifier Training (CLL, KM), pp. 405–408.

SAC-2004-Ferrer-TroyanoAS #data type

Discovering decision rules from numerical data streams (FJFT, JSAR, JCRS), pp. 649–653.

ICDAR-2003-BhattacharyaC #multi #recognition

A Majority Voting Scheme for Multiresolution Recognition of Handprinted Numerals (UB, BBC), pp. 16–20.

ICDAR-2003-DimauroIMP #recognition

Numeral Recognition by Weighting Local Decisions (GD, SI, RM, GP), pp. 1070–1074.

ICDAR-2003-KochHP #documentation #sequence

Numerical Sequence Extraction in Handwritten Incoming Mail Documents (GK, LH, TP), pp. 369–373.

ICDAR-2003-LeedhamC #identification #using

Writer Identification using Innovative Binarised Features of Handwritten Numerals (GL, SC), pp. 413–417.

ICDAR-2003-MuramatsuKSA #evaluation #flexibility #recognition #standard #using

Improvement of Matching and Evaluation in Handwritten Numeral Recognition Using Flexible Standard Patterns (HM, TK, TS, KA), pp. 273–277.

ICDAR-2003-SrihariTZL

Individuality of Numerals (SNS, CIT, BZ, SL), pp. 1096–1100.

ICDAR-2003-ValvenyL #quality #recognition

Numeral recognition for quality control of surgical sachets (EV, AL), pp. 379–383.

ICDAR-2003-Wakahara #correlation #recognition #using

Shape Matching Using GAT Correlation against Nonlinear Distortion and its Application to Handwritten Numeral Recognition (TW), p. 54–?.

PODS-2003-SeidlSM #documentation #query

Numerical document queries (HS, TS, AM), pp. 155–166.

SAC-2003-Ferrer-TroyanoAS #data type #mining #prototype

Prototype-based Mining of Numeric Data Streams (FJFT, JSAR, JCRS), pp. 480–484.

CSL-2003-KanovichV #problem

Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.

ASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.

SAS-2002-Martel #static analysis

Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.

SAS-2002-Mine #abstract domain #graph #relational

A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.

CHI-2002-IsokoskiK #comparison

Comparison of two touchpad-based methods for numeric entry (PI, MK), pp. 25–32.

ICEIS-2002-Lopez #using

Strategic Position of Firms in Terms of Client’s Needs Using Linguistic and Numerical Information through a New Model of SOFM (RFL), pp. 382–390.

ICPR-v2-2002-SungC #knowledge-based #recognition

Knowledge-Based Numeric Open Caption Recognition for Live Sportscast (SHS, WSC), pp. 822–825.

ICPR-v3-2002-CorreiaCS #on the #performance #recognition

On the Performance of Wavelets for Handwritten Numerals Recognition (SENC, JMdC, RS), pp. 127–130.

ICPR-v3-2002-KangL #evaluation #multi

Evaluation on Selection Criteria of Multiple Numeral Recognizers with the Fixed Number of Recognizers (HJK, SWL), pp. 403–406.

ICPR-v3-2002-KimCS #performance #recognition #string

Post-Processing Scheme for Improving Recognition Performance of Touching Handwritten Numeral Strings (KKK, YC, CYS), pp. 327–330.

ICPR-v4-2002-BrittoSBS #predict #recognition #string

A String Length Predictor to Control the Level Building of HMMs for Handwritten Numeral Recognition (AdSBJ, RS, FB, CYS), pp. 31–34.

ICPR-v4-2002-LamXS #difference #using

Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.

SAC-2002-MataMR #algorithm

An evolutionary algorithm to discover numeric association rules (JMV, JLÁM, JCRS), pp. 590–594.

ICDAR-2001-BelaidCP #approach #segmentation

Water Reservoir Based Approach for Touching Numeral Segmentation (AB, CC, UP), pp. 892–897.

ICDAR-2001-BrittoSBS #string

A Two-Stage HMM-Based System for Recognizing Handwritten Numeral Strings (AdSBJ, RS, FB, CYS), pp. 396–400.

ICDAR-2001-KangL #classification #multi

Experimental Results on the Construction of Multiple Classifiers Recognizing Handwritten Numerals (HJK, SWL), pp. 1026–1030.

ICDAR-2001-KimCKS #generative #recognition #string #using

Recognition of Unconstrained Handwritten Numeral Strings Using Decision Value Generator (KKK, YC, JHK, CYS), pp. 14–17.

ICDAR-2001-KobayashiNMSA #flexibility #learning #recognition #statistics #using

Handwritten Numeral Recognition Using Flexible Matching Based on Learning of Stroke Statistics (TK, KN, HM, TS, KA), pp. 612–616.

ICDAR-2001-OliveiraSBS #composition

A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks (LESdO, RS, FB, CYS), pp. 389–395.

ICDAR-2001-ShiOWK #clustering #distance #pseudo #recognition

Clustering with Projection Distance and Pseudo Bayes Discriminant Function for Handwritten Numeral Recognition (MS, WO, TW, FK), pp. 1007–1011.

ICDAR-2001-WakabayashiSOK #image #learning #recognition

Accuracy Improvement of Handwritten Numeral Recognition by Mirror Image Learning (TW, MS, WO, FK), pp. 338–343.

ICDAR-2001-YoonLKC #paradigm #recognition #segmentation #string

New Paradigm for Segmentation and Recognition of Handwritten Numeral String (SY, YL, GK, YC), pp. 205–209.

ICEIS-v1-2001-Rao #algorithm #clustering #multi

An Algorithm for Determining Subspaces Containing Clusters with Multiple Minimum Density Thresholds for Numerical Data (PRR), pp. 530–532.

KDD-2001-Webb

Discovering associations with numeric variables (GIW), pp. 383–388.

MLDM-2001-ShiWOK #image #learning #recognition

Mirror Image Learning for Handwritten Numeral Recognition (MS, TW, WO, FK), pp. 239–248.

ESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking

Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.

VLDB-2000-YuV #bound #fault #network #performance

Efficient Numerical Error Bounding for Replicated Network Services (HY, AV), pp. 123–133.

ICML-2000-Hall #feature model #machine learning

Correlation-based Feature Selection for Discrete and Numeric Class Machine Learning (MAH), pp. 359–366.

ICPR-v2-2000-BeiraghiAAS #classification #fault #fuzzy #recognition

Application of Fuzzy Integrals in Fusion of Classifiers for Low Error Rate Handwritten Numerals Recognition (SB, MA, MASA, MS), pp. 2487–2490.

ICPR-v2-2000-ChenW #analysis #segmentation #string #using

Segmentation of Handwritten Connected Numeral String Using Background and Foreground Analysis (YKC, JFW), pp. 2598–2601.

ICPR-v2-2000-CorreiaC #optimisation #recognition #using

Optimizing the Recognition Rates of Unconstrained Handwritten Numerals Using Biorthogonal Spline Wavelets (SENC, JMdC), pp. 2251–2254.

ICPR-v2-2000-GrimPS #multi #recognition

Multivariate Structural Bernoulli Mixtures for Recognition of Handwritten Numerals (JG, PP, PS), pp. 2585–2589.

ICPR-v2-2000-KimSK #recognition #segmentation #string

Recognition of Unconstrained Handwritten Numeral Strings by Composite Segmentation Method (KKK, CYS, JHK), pp. 2594–2597.

ICPR-v2-2000-PingLK #detection #float #recognition

A Floating Feature Detector for Handwritten Numeral Recognition (ZP, CL, ACK), pp. 2553–2556.

ICPR-v2-2000-ZhaoLX #recognition

Support Vector Machine and its Application in Handwritten Numeral Recognition (BZ, YL, SX), pp. 2720–2723.

OOPSLA-2000-LujanFG #algebra #analysis #design #linear #named #object-oriented

OoLALA: an object oriented analysis and design of numerical linear algebra (ML, TLF, JRG), pp. 229–252.

SAIG-2000-VuducD #automation #case study #code generation #experience #kernel

Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW (RV, JD), pp. 190–211.

HPCA-2000-JimenezLF #automation #on the #performance

On the Performance of Hand vs. Automatically Optimized Numerical Codes (MJ, JML, AF), pp. 183–194.

ICDAR-1999-CheongKSK #recognition #string

Handwritten Numeral String Recognition with Stroke Grouping (CEC, HYK, JWS, HK), pp. 745–748.

ICDAR-1999-ChoiO #network #recognition #using

A Segmentation-free Recognition of Two Touching Numerals using Neural Network (SMC, ISO), pp. 253–256.

ICDAR-1999-FujisawaSWK #image #recognition #using

Handwritten Numeral Recognition using Gradient and Curvature of Gray Scale Image (YF, MS, TW, FK), pp. 277–280.

ICDAR-1999-LeeG #automation #classification

Automatic Classification of Deformed Handwritten Numeral Characters (LLL, NRG), pp. 269–272.

ICDAR-1999-LiuN #network #recognition #using

Handwritten Numeral Recognition using Neural Networks: Improving the Accuracy by Discriminative Training (CLL, MN), pp. 257–260.

ICDAR-1999-LuSWR #implementation #recognition #segmentation

An Implementation of Postal Numerals Segmentation and Recognition System for Chinese Business Letters (YL, PS, JW, JR), pp. 725–728.

ICDAR-1999-SaidYS #recognition #using

Recognition of English and Arabic Numerals using a Dynamic Number of Hidden Neurons (FNS, RAY, CYS), pp. 237–240.

ICDAR-1999-StefanoCM #algorithm #recognition

Handwritten Numeral Recognition by means of Evolutionary Algorithms (CDS, ADC, AM), pp. 804–807.

ICDAR-1999-VaidyaDGS #approach #documentation #feature model #recognition #statistics

Statistical Approach to Feature Extraction for Numeral Recognition from Degraded Documents (VV, VD, DG, BS), pp. 273–276.

ICDAR-1999-VelosoC #recognition

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

ICDAR-1999-WuS #classification #distance #multi #network #recognition #using

Unconstrained Handwritten Numeral Recognition using Hausdorff Distance and Multi-Layer Neural Network Classifier (XW, PS), pp. 249–252.

SAS-1999-JeannetHR #analysis #clustering

Dynamic Partitioning in Analyses of Numerical Properties (BJ, NH, PR), pp. 39–50.

ICALP-1999-EdalatK #integration

Numerical Integration with Exact Real Arithmetic (AE, MK), pp. 90–104.

HCI-CCAD-1999-PatelKR #learning

Cognitive apprenticeship based learning environment in numeric domains (AP, K, DR), pp. 637–641.

KDD-1999-BrinRS #mining

Mining Optimized Gain Rules for Numeric Attributes (SB, RR, KS), pp. 135–144.

KDD-1999-ChengFZ #clustering #mining

Entropy-based Subspace Clustering for Mining Numerical Data (CHC, AWCF, YZ), pp. 84–93.

DAC-1998-DemirMR

Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.

CSMR-1998-ButeraFPN #object-oriented #re-engineering #towards

Reengineering a Computerized Numerical Control Towards Object-Oriented (FB, BF, MP, PN), pp. 224–227.

ICALP-1998-KaoW #fault #performance

Efficient Minimization of Numerical Summation Errors (MYK, JW), pp. 375–386.

ICPR-1998-CaiL98a #integration #recognition #statistics

Integration of structural and statistical information for unconstrained handwritten numeral recognition (JC, ZQL), pp. 378–380.

ICPR-1998-HuYY #algorithm #clustering #string

Algorithms for partitioning path construction of handwritten numeral strings (JH, DY, HY), pp. 372–374.

ICPR-1998-KimuraIWTM #network #recognition #using

Handwritten numeral recognition using autoassociative neural networks (FK, SI, TW, ST, YM), pp. 166–171.

ICPR-1998-LimC #database #generative #multi #network

Neural network based feature space generation for multiple databases of handwritten numerals (KTL, SIC), pp. 375–377.

KDD-1998-WangTL

Interestingness-Based Interval Merger for Numeric Association Rules (KW, SHWT, BL), pp. 121–128.

ASE-1997-Ameur #comprehension #program analysis #source code

A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.

EDTC-1997-Garcia-VargasGFR #algorithm #analysis #generative #scalability

An algorithm for numerical reference generation in symbolic analysis of large analog circuits (IGV, MG, FVF, ÁRV), pp. 395–399.

EDTC-1997-GeigenmullerM #3d #integration #multi

Cartesian multipole based numerical integration for 3D capacitance extraction (UG, NPvdM), pp. 256–259.

ICDAR-1997-ChenW #string

A System for Extracting and Recognizing Numeral Strings on Maps (LHC, JYW), pp. 337–341.

ICDAR-1997-LeeG #image #recognition

Disconnected Handwritten Numeral Image Recognition (LLL, NRG), pp. 467–470.

ICDAR-1997-LinDW #multi #recognition #using

Handwritten Numeral Recognition Using MFNN Based Multiexpert Combination Strategy (XL, XD, YW), pp. 471–474.

ICDAR-1997-TeoS #classification #hybrid

A Hybrid Classifier for Recognizing Handwritten Numerals (RYMT, RS), pp. 283–287.

ICDAR-1997-WatanabeHYT #normalisation

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

ICDAR-1997-YamauchiIT #learning #multi #recognition

Shape based Learning for a Multi-Template Method, and its Application to Handprinted Numeral Recognition (TY, YI, JT), pp. 495–498.

ICDAR-1997-ZhaoSX #string

A New Method for Segmenting Unconstrained Handwritten Numeral String (BZ, HS, SX), pp. 524–527.

ICDAR-1997-ZhouGS #performance #recognition #verification

A High Performance Hand-printed Numeral Recognition System with Verification Module (JZ, QG, CYS), pp. 293–297.

ITiCSE-1997-BurkeV #algorithm #optimisation #search-based #tutorial

A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.

HCI-SEC-1997-OgiHWK #realtime #simulation

Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.

PPoPP-1997-SodanGMST #architecture #case study #experience #parallel #thread

Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.

KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.

PODS-1996-FukudaMMT #mining

Mining Optimized Association Rules for Numeric Attributes (TF, YM, SM, TT), pp. 182–191.

SIGMOD-1996-FukudaMMT96a #named

SONAR: System for Optimized Numeric AssociationRules (TF, YM, SM, TT), p. 553.

VLDB-1996-FukudaMMT #performance #using

Constructing Efficient Decision Trees by Using Optimized Numeric Association Rules (TF, YM, SM, TT), pp. 146–155.

ICPR-1996-Barbosa-PereiraHBMPCL #multi #recognition

Numeral amount recognition on multi-bank cheques (PBP, LH, OB, JVM, BP, PC, YL), pp. 165–169.

ICPR-1996-BerroirHC #scalability

A numerical model for large deformation (JPB, IH, IC), pp. 471–475.

ICPR-1996-ChiangG #feature model #framework #hybrid #recognition

A hybrid feature extraction framework for handwritten numeric fields recognition (JHC, PDG), pp. 436–440.

ICPR-1996-Cho #network #recognition #self

Recognition of unconstrained handwritten numerals by doubly self-organizing neural network (SBC), pp. 426–430.

ICPR-1996-HamamotoUWYT #recognition #using

Recognition of handwritten numerals using Gabor features (YH, SU, MW, TY, ST), pp. 250–253.

ICPR-1996-KawataniSM #recognition

Handwritten numeral recognition with the improved LDA method (TK, HS, MM), pp. 441–446.

ICPR-1996-ShioyamaJ #3d #constraints

Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.

ICDAR-v1-1995-FerayBRP #evaluation #recognition

Evaluation of codes and primitives: recognition of unconstrained handwritten numerals (NF, DdB, KRP, TP), pp. 104–107.

ICDAR-v1-1995-LethelierLG #automation

An automatic reading system for handwritten numeral amounts on French checks (EL, ML, MG), pp. 92–97.

ICDAR-v2-1995-AnegawaSNOK #string

A system for recognizing numeric strings from topographical maps (MA, OS, AN, TO, HK), pp. 940–943.

ICDAR-v2-1995-CongedoDIP95a #segmentation #string

Segmentation of numeric strings (GC, GD, SI, GP), pp. 1038–1041.

ICDAR-v2-1995-HaNB #string

A system for segmenting and recognising totally unconstrained handwritten numeral strings (TMH, DN, HB), pp. 1003–1009.

ICDAR-v2-1995-LeeK95c #clustering #multi #network #recognition

Multiresolution recognition of handwritten numerals with wavelet transform and multilayer cluster neural network (SWL, YJK), pp. 1010–1013.

ICDAR-v2-1995-WangW #classification #multi #recognition

A multi-layer classifier for recognition of unconstrained handwritten numerals (GEW, JFW), pp. 849–852.

ICDAR-v2-1995-WehbiOLP #recognition #segmentation

Numeral characters and capital letters segmentation recognition in mixed handwriting context (HW, HO, JL, EP), pp. 878–881.

STOC-1995-MillerTTW #generative

A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.

KDD-1995-Pazzani #approach #classification

An Iterative Improvement Approach for the Discretization of Numeric Attributes in Bayesian Classifiers (MJP), pp. 228–233.

PEPM-1994-BaierGZ #fortran #partial evaluation #source code

Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.

KDD-1994-ChuC #abstraction #concept #database

Abstraction of High Level Concepts from Numerical Values in Databases (WWC, KC), pp. 133–144.

KDD-1994-Tsukimoto #logic

The Discovery of Logical Propositions in Numerical Data (HT), pp. 205–216.

PLILP-1994-JanssensBE

Abstracting Numerical Values in CLP(H, N) (GJ, MB, VE), pp. 400–414.

HPDC-1994-Dongarra #library

Constructing Numerical Software Libraries for HPCC Environments (JD), p. 4.

ICDAR-1993-AbuhaibaA #fuzzy #graph #recognition

Totally unconstrained handwritten numeral recognition via fuzzy graphs (ISIA, PA), pp. 846–849.

ICDAR-1993-HeutteMPPL #multi #recognition

Handwritten numeral recognition based on multiple feature extractors (LH, JVM, BP, JLP, YL), pp. 167–170.

ICDAR-1993-Kawatani #learning #polynomial #recognition

Handprinted numeral recognition with the learning quadratic discriminant function (TK), pp. 14–17.

ICDAR-1993-MatsuiNYWY #contest #recognition #state of the art

State of the art of handwritten numeral recognition in Japan-The results of the first IPTP character recognition competition (TM, TN, IY, TW, MY), pp. 391–396.

ICDAR-1993-NakashimaKMSN #generative #image

A contour fill method for alpha-numeric character image generation (KN, MK, KM, YS, YN), pp. 722–725.

SEKE-1993-Ameur #development #non-functional #source code

Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs (YAA), pp. 703–710.

HPDC-1993-HomerS

Supporting Heterogeneity and Distribution in the Numerical Propulsion System (PTH, RDS), pp. 187–195.

ICLP-1993-DumortierJBC #analysis #constraints

Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.

WSA-1992-BagnaraGL #source code #static analysis

Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.

ICALP-1992-Shallit #linear #set

Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract) (JS), pp. 89–100.

ML-1992-Merckt #concept #flexibility #named

NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes (TVdM), pp. 322–331.

ML-1991-CerboneD #compilation #optimisation

Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.

ISLP-1991-MozeticH #constraints #logic programming #modelling

Integrating Numerical and Qualitative Models within Constraint Logic Programming (IM, CH), pp. 678–693.

STOC-1990-BlumLR #problem #self

Self-Testing/Correcting with Applications to Numerical Problems (MB, ML, RR), pp. 73–83.

LFP-1990-Berlin #partial evaluation

Partial Evaluation Applied to Numerical Computation (AB), pp. 139–150.

ML-1990-NordhausenL #approach #robust

A Robust Approach to Numeric Discovery (BN, PL), pp. 411–418.

PPoPP-1990-ChangE #functional #implementation #predict

An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL (PSC, GKE), pp. 109–117.

LFP-1988-SussmanH #abstraction #named #tutorial

Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.

PLDI-1987-Boehm #source code

Constructive real interpretation of numerical programs (HJB), pp. 214–221.

ICLP-1986-ButlerLMO86 #logic programming #parallel

Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.

SOSP-1985-MalkawiP #compilation #memory management #policy #source code

Compiler Directed Memory Management Policy For Numerical Programs (MM, JHP), pp. 97–106.

SIGMOD-1982-Daini #database

Numerical Database Management System: A Model (OAD), pp. 192–199.

ICSE-1982-Abu-SufahLMY #behaviour #source code

Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.

DAC-1979-RogersRS #design #modelling

Computer Aided Ship Design and numerically controlled production of towing tank models (DFR, FR, SGS), pp. 207–214.

DAC-1976-MayfieldB #geometry

Applications of a numerical geometry system in engineering (JM, RMB), pp. 25–33.

STOC-1974-Miller #complexity

Computational Complexity and Numerical Stability (WM), pp. 317–322.

DAC-1967-Barkocy #design

Designing application versatility into a software package for numerically controlled drafting machines (ARB).