BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
handwritten (69)
recognit (67)
use (33)
analysi (32)
base (32)

Stem numer$ (all stems)

265 papers:

CASECASE-2015-LiaoHJ #multi
Numerical testbed of a multiple-chiller plant for centralized HVAC systems (YL, GH, QsJ), pp. 699–701.
DATEDATE-2015-RustLP #approximate #architecture
QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATEDATE-2015-RustP #approximate #design #multi
Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.
PLDIPLDI-2015-SinghPV #performance #program analysis
Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
CIAACIAA-2015-DangDFH #automaton #security
Security of Numerical Sensors in Automata (ZD, DD, TRF, WJHI), pp. 76–88.
HCIDHM-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.
ICMLICML-2015-GuptaAGN #learning #precise
Deep Learning with Limited Numerical Precision (SG, AA, KG, PN), pp. 1737–1746.
OOPSLAOOPSLA-2015-FuBS #analysis #automation #fault
Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
SACSAC-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.
HPDCHPDC-2015-ElliottHM #fault #linear
A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
ICSTICST-2015-BaiSP #fault #named #using
NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ESOPESOP-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.
TACASTACAS-2014-HuthK #automation #named #reasoning #trust
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
SASSAS-2014-MonniauxS
Speeding Up Logico-Numerical Strategy Iteration (DM, PS), pp. 253–267.
GPCEGPCE-2014-HessGP #automation #interface
Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.
FSEFSE-2014-Gao #program analysis #testing
Numerical program analysis and testing (ZG), pp. 779–782.
VMCAIVMCAI-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.
CASECASE-2013-ZhouSHJLS #lens #simulation
Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.
SIGMODSIGMOD-2013-ZhangC #semantics #web
InfoGather+: semantic matching and annotation of numeric and time-varying attributes in web tables (MZ, KC), pp. 145–156.
SASSAS-2013-Goubault #abstract interpretation #source code #static analysis
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SASSAS-2013-PartushY #difference #semantics #source code
Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
LATALATA-2013-Schaeffer #word
Ostrowski Numeration and the Local Period of Sturmian Words (LS), pp. 493–503.
HCIDHM-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.
HCIHCI-AS-2013-TsumoriN #design #evaluation #using
Design and Evaluation of Training System for Numerical Calculation Using Questions in SPI2 (ST, KN), pp. 511–520.
VISSOFTVISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation
Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
CIKMCIKM-2013-IdaNM #independence #online #topic
Domain-dependent/independent topic switching model for online reviews with numerical ratings (YI, TN, TM), pp. 229–238.
ICMLICML-c3-2013-VladymyrovC #performance
Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.
SACSAC-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.
ISSTAISSTA-2013-ChocklerEY #concurrent #fault
Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
VMCAIVMCAI-2013-SchrammelS
Logico-Numerical Max-Strategy Iteration (PS, PS), pp. 414–433.
VMCAIVMCAI-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.
CASECASE-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.
CASECASE-2012-VoisembertRM #evaluation
Numerical evaluation of a new robotic manipulator based on inflatable joints (SV, AR, NM), pp. 544–549.
TACASTACAS-2012-DSilvaHKT #analysis #bound #learning
Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.
LATALATA-2012-Hovland #constraints #problem #regular expression
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.
FMFM-2012-HojjatKGIKR #tool support #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
PADLPADL-2012-St-AmourTFF #type system
Typing the Numeric Tower (VSA, STH, MF, MF), pp. 289–303.
CAVCAV-2012-ChaudhuriS #named #optimisation #source code
Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.
ICSTICST-2012-KruseBW #combinator #constraints #interactive #testing
Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.
DRRDRR-2011-HajiBS #automation #documentation #image #string
Automatic extraction of numeric strings in unconstrained handwritten document images (MMH, TDB, CYS), pp. 1–10.
SASSAS-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.
LATALATA-2011-Rampersad
Abstract Numeration Systems (NR), pp. 65–79.
ICEISICEIS-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.
CIKMCIKM-2011-DavisLMR #detection #graph
Detecting anomalies in graphs with numeric labels (MD, WL, PCM, GR), pp. 1197–1202.
KDDKDD-2011-PlantB #category theory #clustering #named
INCONCO: interpretable clustering of numerical and categorical objects (CP, CB), pp. 1127–1135.
OOPSLAOOPSLA-2011-DarulovaK #scala
Trustworthy numerical computation in Scala (ED, VK), pp. 325–344.
CAVCAV-2011-HagueL #data type #model checking #recursion #source code
Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.
ESOPESOP-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.
CSMRCSMR-2010-OlivetoKAG #approach
Numerical Signatures of Antipatterns: An Approach Based on B-Splines (RO, FK, GA, YGG), pp. 248–251.
SASSAS-2010-AmatoPS #abstract domain #analysis #component
Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
SASSAS-2010-McCloskeyRS #array #invariant
Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
DLTDLT-2010-Rigo #formal method
Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
LATALATA-2010-PolicritiTV #random
A Randomized Numerical Aligner (rNA) (AP, AIT, FV), pp. 512–523.
CIKMCIKM-2010-MadaniY #analysis #topic
Discovery of numerous specific topics via term co-occurrence analysis (OM, JY), pp. 1841–1844.
ICPRICPR-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.
ICPRICPR-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.
POPLPOPL-2010-MagillTLT #abstraction #automation #source code
Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.
LDTALDTA-2009-DennisJW10 #algorithm #analysis #automation #memory management #named
SLAMM — Automating Memory Analysis for Numerical Algorithms (JMD, ERJ, WMW), pp. 89–104.
CGOCGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards
Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
ICTSSICTSS-2010-MeinkeN #approach #testing
A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.
IJCARIJCAR-2010-MagkaKH #data type #logic
Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
ISSTAISSTA-2010-TangBLS #analysis #float #statistics
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
DACDAC-2009-DongL #integration #performance #simulation
Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
ICDARICDAR-2009-AlaeiNP #classification
Fine Classification of Unconstrained Handwritten Persian/Arabic Numerals by Removing Confusion amongst Similar Classes (AA, PN, UP), pp. 601–605.
ICDARICDAR-2009-BulacuBZS #recognition #scalability
Recognition of Handwritten Numerical Fields in a Large Single-Writer Historical Collection (MB, AB, TvdZ, LS), pp. 808–812.
ICDARICDAR-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.
ICDARICDAR-2009-PanBS #recognition #using
Isolated Handwritten Farsi Numerals Recognition Using Sparse and Over-Complete Representations (WP, TDB, CYS), pp. 586–590.
ICDARICDAR-2009-WangLJ #learning #modelling #segmentation #statistics #string
Statistical Modeling and Learning for Recognition-Based Handwritten Numeral String Segmentation (YW, XL, YJ), pp. 421–425.
VLDBVLDB-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.
WCREWCRE-1999-CapobiancoLOPP99a #analysis #traceability #using
Traceability Recovery Using Numerical Analysis (GC, ADL, RO, AP, SP), pp. 195–204.
PEPMPEPM-2009-Martel #precise #program transformation
Program transformation for numerical precision (MM), pp. 101–110.
STOCSTOC-2009-ClarksonW #algebra #linear #streaming
Numerical linear algebra in the streaming model (KLC, DPW), pp. 205–214.
ICALPICALP-v2-2009-Boldo #case study #float #verification
Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.
CAVCAV-2009-BouissouGPTV #named #source code
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
CAVCAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
SIGMODSIGMOD-2008-LiTX #privacy #proximity
Preservation of proximity privacy in publishing numerical sensitive data (JL, YT, XX), pp. 473–486.
ESOPESOP-2008-Allamigeon #abstraction #array
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
SACSAC-2008-DouillardJ #constraints #heuristic
Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.
SACSAC-2008-FabreS
Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.
SACSAC-2008-LasserreLR #algebra #algorithm
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
CAVCAV-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.
ICDARICDAR-2007-HuangLM #string #using
Cryptogram Decoding for OCR Using Numerization Strings (GBH, EGLM, AM), pp. 208–212.
ICDARICDAR-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.
ICDARICDAR-2007-PalSWK07a #recognition
Handwritten Numeral Recognition of Six Popular Indian Scripts (UP, NS, TW, FK), pp. 749–753.
ICDARICDAR-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.
ICEISICEIS-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.
GTTSEGTTSE-2007-ChellappaFP #how #performance
How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.
DATEDATE-2006-HassenT #on the #probability #term rewriting #verification
On the numerical verification of probabilistic rewriting systems (JBH, ST), pp. 1223–1224.
SCAMSCAM-2006-FaganHU #data transformation #modelling #representation #semantics
Data Representation Alternatives in Semantically Augmented Numerical Models (MWF, LH, JU), pp. 85–94.
SASSAS-2006-GoubaultP #algorithm #static analysis
Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.
SASSAS-2006-SankaranarayananISG #static analysis
Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
ICPRICPR-v3-2006-ChatelainHP #documentation
A two-stage outlier rejection strategy for numerical field extraction in handwritten documents (CC, LH, TP), pp. 224–227.
ICPRICPR-v4-2006-WongYL #identification #predict
Identifying Weather Systems from Numerical Weather Prediction Data (KYW, CLY, PWL), pp. 841–844.
KDDKDD-2006-CaldersGJ #mining #set
Mining rank-correlated sets of numerical attributes (TC, BG, SJ), pp. 96–105.
LOPSTRLOPSTR-2006-BagnaraDHMZ #named
Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.
SACSAC-2006-AltLM #linear #on the #probability #problem #using
On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SACSAC-2006-Lindgren #on the
On handling conflicts between rules with numerical features (TL), pp. 37–41.
HPDCHPDC-2006-FrommerH #grid #quality
Ensuring numerical quality in grid computing (AF, MH), pp. 335–336.
ISSTAISSTA-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.
VMCAIVMCAI-2006-Mine #abstract domain #precise
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
DRRDRR-2005-SadriSB #approach #recognition #segmentation #string
New approach for segmentation and recognition of handwritten numeral strings (JS, CYS, TDB), pp. 92–100.
ICDARICDAR-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.
ICDARICDAR-2005-MozaffariFFZ #composition #statistics
Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.
ICDARICDAR-2005-RoyPPK #recognition
Oriya Handwritten Numeral Recognition Syste (KR, TP, UP, FK), pp. 770–774.
ICDARICDAR-2005-Suwa #graph #representation #segmentation
Segmentation of Connected Handwritten Numerals by Graph Representation (MS), pp. 750–754.
ICDARICDAR-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.
ICDARICDAR-2005-ZhouS #approach #fault #recognition #using
Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.
SASSAS-2005-BagnaraHMZ #abstraction
Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.
SASSAS-2005-Muller-OlmS #analysis #framework #interprocedural
A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.
IFLIFL-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.
KDDKDD-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.
POPLPOPL-2005-GopanRS #analysis #array #framework
A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.
SACSAC-2005-Ferrer-TroyanoAS #data type #incremental #learning
Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.
SACSAC-2005-GoualardG #constraints #network
Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.
CAVCAV-2005-Monniaux #analysis #composition #float #linear
Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.
VMCAIVMCAI-2005-Martel #bibliography #semantics #source code #validation
An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.
DRRDRR-2004-TripathyPP #recognition
System for Oriya handwritten numeral recognition (NT, MP, UP), pp. 174–181.
SIGMODSIGMOD-2004-AgrawalKSX #encryption
Order-Preserving Encryption for Numeric Data (RA, JK, RS, YX), pp. 563–574.
TACASTACAS-2004-GopanDDRS
Numeric Domains with Summarized Dimensions (DG, FD, ND, TWR, SS), pp. 512–529.
TACASTACAS-2004-YounesKNP #empirical #model checking #probability #statistics
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.
STOCSTOC-2004-BurgisserC #algebra #complexity #set
Counting complexity classes for numeric computations II: algebraic and semialgebraic sets (PB, FC), pp. 475–485.
CHICHI-2004-IngmarssonDZ #named
TNT: a numeric keypad based text input method (MI, DD, SZ), pp. 639–646.
ICEISICEIS-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.
ICPRICPR-v1-2004-LiuM #classification #recognition #string
Handwritten Numeral String Recognition: Character-Level vs. String-Level Classifier Training (CLL, KM), pp. 405–408.
SACSAC-2004-Ferrer-TroyanoAS #data type
Discovering decision rules from numerical data streams (FJFT, JSAR, JCRS), pp. 649–653.
ICDARICDAR-2003-BhattacharyaC #multi #recognition
A Majority Voting Scheme for Multiresolution Recognition of Handprinted Numerals (UB, BBC), pp. 16–20.
ICDARICDAR-2003-DimauroIMP #recognition
Numeral Recognition by Weighting Local Decisions (GD, SI, RM, GP), pp. 1070–1074.
ICDARICDAR-2003-KochHP #documentation #sequence
Numerical Sequence Extraction in Handwritten Incoming Mail Documents (GK, LH, TP), pp. 369–373.
ICDARICDAR-2003-LeedhamC #identification #using
Writer Identification using Innovative Binarised Features of Handwritten Numerals (GL, SC), pp. 413–417.
ICDARICDAR-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.
ICDARICDAR-2003-SrihariTZL
Individuality of Numerals (SNS, CIT, BZ, SL), pp. 1096–1100.
ICDARICDAR-2003-ValvenyL #quality #recognition
Numeral recognition for quality control of surgical sachets (EV, AL), pp. 379–383.
ICDARICDAR-2003-Wakahara #correlation #recognition #using
Shape Matching Using GAT Correlation against Nonlinear Distortion and its Application to Handwritten Numeral Recognition (TW), p. 54–?.
PODSPODS-2003-SeidlSM #documentation #query
Numerical document queries (HS, TS, AM), pp. 155–166.
SACSAC-2003-Ferrer-TroyanoAS #data type #mining #prototype
Prototype-based Mining of Numeric Data Streams (FJFT, JSAR, JCRS), pp. 480–484.
CSLCSL-2003-KanovichV #problem
Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.
ASEASE-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–?.
SASSAS-2002-Martel #static analysis
Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.
SASSAS-2002-Mine #abstract domain #graph #relational
A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.
CHICHI-2002-IsokoskiK #comparison
Comparison of two touchpad-based methods for numeric entry (PI, MK), pp. 25–32.
ICEISICEIS-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.
ICPRICPR-v2-2002-SungC #knowledge-based #recognition
Knowledge-Based Numeric Open Caption Recognition for Live Sportscast (SHS, WSC), pp. 822–825.
ICPRICPR-v3-2002-CorreiaCS #on the #performance #recognition
On the Performance of Wavelets for Handwritten Numerals Recognition (SENC, JMdC, RS), pp. 127–130.
ICPRICPR-v3-2002-KangL #evaluation #multi
Evaluation on Selection Criteria of Multiple Numeral Recognizers with the Fixed Number of Recognizers (HJK, SWL), pp. 403–406.
ICPRICPR-v3-2002-KimCS #performance #recognition #string
Post-Processing Scheme for Improving Recognition Performance of Touching Handwritten Numeral Strings (KKK, YC, CYS), pp. 327–330.
ICPRICPR-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.
ICPRICPR-v4-2002-LamXS #difference #using
Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.
SACSAC-2002-MataMR #algorithm
An evolutionary algorithm to discover numeric association rules (JMV, JLÁM, JCRS), pp. 590–594.
ICDARICDAR-2001-BelaidCP #approach #segmentation
Water Reservoir Based Approach for Touching Numeral Segmentation (AB, CC, UP), pp. 892–897.
ICDARICDAR-2001-BrittoSBS #string
A Two-Stage HMM-Based System for Recognizing Handwritten Numeral Strings (AdSBJ, RS, FB, CYS), pp. 396–400.
ICDARICDAR-2001-KangL #classification #multi
Experimental Results on the Construction of Multiple Classifiers Recognizing Handwritten Numerals (HJK, SWL), pp. 1026–1030.
ICDARICDAR-2001-KimCKS #generative #recognition #string #using
Recognition of Unconstrained Handwritten Numeral Strings Using Decision Value Generator (KKK, YC, JHK, CYS), pp. 14–17.
ICDARICDAR-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.
ICDARICDAR-2001-OliveiraSBS #composition
A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks (LESdO, RS, FB, CYS), pp. 389–395.
ICDARICDAR-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.
ICDARICDAR-2001-WakabayashiSOK #image #learning #recognition
Accuracy Improvement of Handwritten Numeral Recognition by Mirror Image Learning (TW, MS, WO, FK), pp. 338–343.
ICDARICDAR-2001-YoonLKC #paradigm #recognition #segmentation #string
New Paradigm for Segmentation and Recognition of Handwritten Numeral String (SY, YL, GK, YC), pp. 205–209.
ICEISICEIS-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.
KDDKDD-2001-Webb
Discovering associations with numeric variables (GIW), pp. 383–388.
MLDMMLDM-2001-ShiWOK #image #learning #recognition
Mirror Image Learning for Handwritten Numeral Recognition (MS, TW, WO, FK), pp. 239–248.
FSEESEC-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.
VLDBVLDB-2000-YuV #bound #fault #network #performance
Efficient Numerical Error Bounding for Replicated Network Services (HY, AV), pp. 123–133.
ICMLICML-2000-Hall #feature model #machine learning
Correlation-based Feature Selection for Discrete and Numeric Class Machine Learning (MAH), pp. 359–366.
ICPRICPR-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.
ICPRICPR-v2-2000-ChenW #analysis #segmentation #string #using
Segmentation of Handwritten Connected Numeral String Using Background and Foreground Analysis (YKC, JFW), pp. 2598–2601.
ICPRICPR-v2-2000-CorreiaC #optimisation #recognition #using
Optimizing the Recognition Rates of Unconstrained Handwritten Numerals Using Biorthogonal Spline Wavelets (SENC, JMdC), pp. 2251–2254.
ICPRICPR-v2-2000-GrimPS #multi #recognition
Multivariate Structural Bernoulli Mixtures for Recognition of Handwritten Numerals (JG, PP, PS), pp. 2585–2589.
ICPRICPR-v2-2000-KimSK #recognition #segmentation #string
Recognition of Unconstrained Handwritten Numeral Strings by Composite Segmentation Method (KKK, CYS, JHK), pp. 2594–2597.
ICPRICPR-v2-2000-PingLK #detection #float #recognition
A Floating Feature Detector for Handwritten Numeral Recognition (ZP, CL, ACK), pp. 2553–2556.
ICPRICPR-v2-2000-ZhaoLX #recognition
Support Vector Machine and its Application in Handwritten Numeral Recognition (BZ, YL, SX), pp. 2720–2723.
OOPSLAOOPSLA-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.
GPCESAIG-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.
HPCAHPCA-2000-JimenezLF #automation #on the #performance
On the Performance of Hand vs. Automatically Optimized Numerical Codes (MJ, JML, AF), pp. 183–194.
ICDARICDAR-1999-CheongKSK #recognition #string
Handwritten Numeral String Recognition with Stroke Grouping (CEC, HYK, JWS, HK), pp. 745–748.
ICDARICDAR-1999-ChoiO #network #recognition #using
A Segmentation-free Recognition of Two Touching Numerals using Neural Network (SMC, ISO), pp. 253–256.
ICDARICDAR-1999-FujisawaSWK #image #recognition #using
Handwritten Numeral Recognition using Gradient and Curvature of Gray Scale Image (YF, MS, TW, FK), pp. 277–280.
ICDARICDAR-1999-LeeG #automation #classification
Automatic Classification of Deformed Handwritten Numeral Characters (LLL, NRG), pp. 269–272.
ICDARICDAR-1999-LiuN #network #recognition #using
Handwritten Numeral Recognition using Neural Networks: Improving the Accuracy by Discriminative Training (CLL, MN), pp. 257–260.
ICDARICDAR-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.
ICDARICDAR-1999-SaidYS #recognition #using
Recognition of English and Arabic Numerals using a Dynamic Number of Hidden Neurons (FNS, RAY, CYS), pp. 237–240.
ICDARICDAR-1999-StefanoCM #algorithm #recognition
Handwritten Numeral Recognition by means of Evolutionary Algorithms (CDS, ADC, AM), pp. 804–807.
ICDARICDAR-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.
ICDARICDAR-1999-VelosoC #recognition
Neural versus Syntactic Recognition of Handwritten Numerals (LRV, JMdC), pp. 233–236.
ICDARICDAR-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.
SASSAS-1999-JeannetHR #analysis #clustering
Dynamic Partitioning in Analyses of Numerical Properties (BJ, NH, PR), pp. 39–50.
ICALPICALP-1999-EdalatK #integration
Numerical Integration with Exact Real Arithmetic (AE, MK), pp. 90–104.
HCIHCI-CCAD-1999-PatelKR #learning
Cognitive apprenticeship based learning environment in numeric domains (AP, K, DR), pp. 637–641.
KDDKDD-1999-BrinRS #mining
Mining Optimized Gain Rules for Numeric Attributes (SB, RR, KS), pp. 135–144.
KDDKDD-1999-ChengFZ #clustering #mining
Entropy-based Subspace Clustering for Mining Numerical Data (CHC, AWCF, YZ), pp. 84–93.
DACDAC-1998-DemirMR
Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.
CSMRCSMR-1998-ButeraFPN #object-oriented #re-engineering #towards
Reengineering a Computerized Numerical Control Towards Object-Oriented (FB, BF, MP, PN), pp. 224–227.
ICALPICALP-1998-KaoW #fault #performance
Efficient Minimization of Numerical Summation Errors (MYK, JW), pp. 375–386.
ICPRICPR-1998-CaiL98a #integration #recognition #statistics
Integration of structural and statistical information for unconstrained handwritten numeral recognition (JC, ZQL), pp. 378–380.
ICPRICPR-1998-HuYY #algorithm #clustering #string
Algorithms for partitioning path construction of handwritten numeral strings (JH, DY, HY), pp. 372–374.
ICPRICPR-1998-KimuraIWTM #network #recognition #using
Handwritten numeral recognition using autoassociative neural networks (FK, SI, TW, ST, YM), pp. 166–171.
ICPRICPR-1998-LimC #database #generative #multi #network
Neural network based feature space generation for multiple databases of handwritten numerals (KTL, SIC), pp. 375–377.
KDDKDD-1998-WangTL
Interestingness-Based Interval Merger for Numeric Association Rules (KW, SHWT, BL), pp. 121–128.
ASEASE-1997-Ameur #comprehension #program analysis #source code
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.
DATEEDTC-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.
DATEEDTC-1997-GeigenmullerM #3d #integration #multi
Cartesian multipole based numerical integration for 3D capacitance extraction (UG, NPvdM), pp. 256–259.
ICDARICDAR-1997-ChenW #string
A System for Extracting and Recognizing Numeral Strings on Maps (LHC, JYW), pp. 337–341.
ICDARICDAR-1997-LeeG #image #recognition
Disconnected Handwritten Numeral Image Recognition (LLL, NRG), pp. 467–470.
ICDARICDAR-1997-LinDW #multi #recognition #using
Handwritten Numeral Recognition Using MFNN Based Multiexpert Combination Strategy (XL, XD, YW), pp. 471–474.
ICDARICDAR-1997-TeoS #classification #hybrid
A Hybrid Classifier for Recognizing Handwritten Numerals (RYMT, RS), pp. 283–287.
ICDARICDAR-1997-WatanabeHYT #normalisation
Normalization Techniques of Handwritten Numerals for Gabor Filters (MW, YH, TY, ST), p. 303–?.
ICDARICDAR-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.
ICDARICDAR-1997-ZhaoSX #string
A New Method for Segmenting Unconstrained Handwritten Numeral String (BZ, HS, SX), pp. 524–527.
ICDARICDAR-1997-ZhouGS #performance #recognition #verification
A High Performance Hand-printed Numeral Recognition System with Verification Module (JZ, QG, CYS), pp. 293–297.
ITiCSEITiCSE-1997-BurkeV #algorithm #optimisation #search-based #tutorial
A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.
HCIHCI-SEC-1997-OgiHWK #realtime #simulation
Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.
PPoPPPPoPP-1997-SodanGMST #architecture #case study #experience #parallel #thread
Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.
ASEKBSE-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.
PODSPODS-1996-FukudaMMT #mining
Mining Optimized Association Rules for Numeric Attributes (TF, YM, SM, TT), pp. 182–191.
SIGMODSIGMOD-1996-FukudaMMT96a #named
SONAR: System for Optimized Numeric AssociationRules (TF, YM, SM, TT), p. 553.
VLDBVLDB-1996-FukudaMMT #performance #using
Constructing Efficient Decision Trees by Using Optimized Numeric Association Rules (TF, YM, SM, TT), pp. 146–155.
ICPRICPR-1996-Barbosa-PereiraHBMPCL #multi #recognition
Numeral amount recognition on multi-bank cheques (PBP, LH, OB, JVM, BP, PC, YL), pp. 165–169.
ICPRICPR-1996-BerroirHC #scalability
A numerical model for large deformation (JPB, IH, IC), pp. 471–475.
ICPRICPR-1996-ChiangG #feature model #framework #hybrid #recognition
A hybrid feature extraction framework for handwritten numeric fields recognition (JHC, PDG), pp. 436–440.
ICPRICPR-1996-Cho #network #recognition #self
Recognition of unconstrained handwritten numerals by doubly self-organizing neural network (SBC), pp. 426–430.
ICPRICPR-1996-HamamotoUWYT #recognition #using
Recognition of handwritten numerals using Gabor features (YH, SU, MW, TY, ST), pp. 250–253.
ICPRICPR-1996-KawataniSM #recognition
Handwritten numeral recognition with the improved LDA method (TK, HS, MM), pp. 441–446.
ICPRICPR-1996-ShioyamaJ #3d #constraints
Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.
ICDARICDAR-v1-1995-FerayBRP #evaluation #recognition
Evaluation of codes and primitives: recognition of unconstrained handwritten numerals (NF, DdB, KRP, TP), pp. 104–107.
ICDARICDAR-v1-1995-LethelierLG #automation
An automatic reading system for handwritten numeral amounts on French checks (EL, ML, MG), pp. 92–97.
ICDARICDAR-v2-1995-AnegawaSNOK #string
A system for recognizing numeric strings from topographical maps (MA, OS, AN, TO, HK), pp. 940–943.
ICDARICDAR-v2-1995-CongedoDIP95a #segmentation #string
Segmentation of numeric strings (GC, GD, SI, GP), pp. 1038–1041.
ICDARICDAR-v2-1995-HaNB #string
A system for segmenting and recognising totally unconstrained handwritten numeral strings (TMH, DN, HB), pp. 1003–1009.
ICDARICDAR-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.
ICDARICDAR-v2-1995-WangW #classification #multi #recognition
A multi-layer classifier for recognition of unconstrained handwritten numerals (GEW, JFW), pp. 849–852.
ICDARICDAR-v2-1995-WehbiOLP #recognition #segmentation
Numeral characters and capital letters segmentation recognition in mixed handwriting context (HW, HO, JL, EP), pp. 878–881.
STOCSTOC-1995-MillerTTW #generative
A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.
KDDKDD-1995-Pazzani #approach #classification
An Iterative Improvement Approach for the Discretization of Numeric Attributes in Bayesian Classifiers (MJP), pp. 228–233.
PEPMPEPM-1994-BaierGZ #fortran #partial evaluation #source code
Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.
KDDKDD-1994-ChuC #abstraction #concept #database
Abstraction of High Level Concepts from Numerical Values in Databases (WWC, KC), pp. 133–144.
KDDKDD-1994-Tsukimoto #logic
The Discovery of Logical Propositions in Numerical Data (HT), pp. 205–216.
PPDPPLILP-1994-JanssensBE
Abstracting Numerical Values in CLP(H, N) (GJ, MB, VE), pp. 400–414.
HPDCHPDC-1994-Dongarra #library
Constructing Numerical Software Libraries for HPCC Environments (JD), p. 4.
ICDARICDAR-1993-AbuhaibaA #fuzzy #graph #recognition
Totally unconstrained handwritten numeral recognition via fuzzy graphs (ISIA, PA), pp. 846–849.
ICDARICDAR-1993-HeutteMPPL #multi #recognition
Handwritten numeral recognition based on multiple feature extractors (LH, JVM, BP, JLP, YL), pp. 167–170.
ICDARICDAR-1993-Kawatani #learning #polynomial #recognition
Handprinted numeral recognition with the learning quadratic discriminant function (TK), pp. 14–17.
ICDARICDAR-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.
ICDARICDAR-1993-NakashimaKMSN #generative #image
A contour fill method for alpha-numeric character image generation (KN, MK, KM, YS, YN), pp. 722–725.
SEKESEKE-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.
HPDCHPDC-1993-HomerS
Supporting Heterogeneity and Distribution in the Numerical Propulsion System (PTH, RDS), pp. 187–195.
ICLPICLP-1993-DumortierJBC #analysis #constraints
Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
SASWSA-1992-BagnaraGL #source code #static analysis
Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
ICALPICALP-1992-Shallit #linear #set
Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract) (JS), pp. 89–100.
ICMLML-1992-Merckt #concept #flexibility #named
NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes (TVdM), pp. 322–331.
ICMLML-1991-CerboneD #compilation #optimisation
Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.
ICLPISLP-1991-MozeticH #constraints #logic programming #modelling
Integrating Numerical and Qualitative Models within Constraint Logic Programming (IM, CH), pp. 678–693.
STOCSTOC-1990-BlumLR #problem #self
Self-Testing/Correcting with Applications to Numerical Problems (MB, ML, RR), pp. 73–83.
LISPLFP-1990-Berlin #partial evaluation
Partial Evaluation Applied to Numerical Computation (AB), pp. 139–150.
ICMLML-1990-NordhausenL #approach #robust
A Robust Approach to Numeric Discovery (BN, PL), pp. 411–418.
PPoPPPPoPP-1990-ChangE #functional #implementation #predict
An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL (PSC, GKE), pp. 109–117.
LISPLFP-1988-SussmanH #abstraction #named #tutorial
Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.
PLDIPLDI-1987-Boehm #source code
Constructive real interpretation of numerical programs (HJB), pp. 214–221.
ICLPICLP-1986-ButlerLMO86 #logic programming #parallel
Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.
SOSPSOSP-1985-MalkawiP #compilation #memory management #policy #source code
Compiler Directed Memory Management Policy For Numerical Programs (MM, JHP), pp. 97–106.
SIGMODSIGMOD-1982-Daini #database
Numerical Database Management System: A Model (OAD), pp. 192–199.
ICSEICSE-1982-Abu-SufahLMY #behaviour #source code
Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.
DACDAC-1979-RogersRS #design #modelling
Computer Aided Ship Design and numerically controlled production of towing tank models (DFR, FR, SGS), pp. 207–214.
DACDAC-1976-MayfieldB #geometry
Applications of a numerical geometry system in engineering (JM, RMB), pp. 25–33.
STOCSTOC-1974-Miller #complexity
Computational Complexity and Numerical Stability (WM), pp. 317–322.
DACDAC-1967-Barkocy #design
Designing application versatility into a software package for numerically controlled drafting machines (ARB).

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