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

Tag #preprocessor

111 papers:

CIAACIAA-2018-KutribMW #automaton #queue
Boosting Pushdown and Queue Machines by Preprocessing (MK, AM, MW), pp. 28–40.
GPCEGPCE-2017-FenskeSS #case study #how #maintenance
How preprocessor annotations (do not) affect maintainability: a case study on change-proneness (WF, SS, GS), pp. 77–90.
CASECASE-2017-ChenOUTO #automation #design #image #parametricity #recognition
Automated design of the field-of-view, illumination, and image pre-processing parameters of an image recognition system (YC, TO, TU, TT, JO), pp. 1079–1084.
SANERSANER-2016-MazinanianT #css #empirical #using
An Empirical Study on the Use of CSS Preprocessors (DM, NT), pp. 168–178.
CoGCIG-2016-AversaSV
Pruning and preprocessing methods for inventory-aware pathfinding (DA, SS, SV), pp. 1–8.
ASEASE-2016-MazinanianT #css #migration #mixin
Migrating cascading style sheets to preprocessors by introducing mixins (DM, NT), pp. 672–683.
CASECASE-2016-TanCT #automation #component #diagrams #identification
Automated identification of components in raster piping and instrumentation diagram with minimal pre-processing (WCT, IMC, HKT), pp. 1301–1306.
CIKMCIKM-2015-PalottiZH #documentation #estimation #readability #web
The Influence of Pre-processing on the Estimation of Readability of Web Documents (JRDMP, GZ, AH), pp. 1763–1766.
ECOOPECOOP-2015-MedeirosKRNG #c
The Love/Hate Relationship with the C Preprocessor: An Interview Study (FM, CK, MR, SN, RG), pp. 495–518.
PDPPDP-2015-SilveiraMCBFM #configuration management #fault tolerance #performance
Preprocessing of Scenarios for Fast and Efficient Routing Reconfiguration in Fault-Tolerant NoCs (JS, CAMM, PC, GCB, JMF, RM), pp. 404–411.
ICSTSAT-2015-BalabanovI
Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
ICSTSAT-2015-WimmerGNSB
Preprocessing for DQBF (RW, KG, JN, CS, BB), pp. 173–190.
ICSMEICSME-2014-KanningS #slicing #variability
Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
ICALPICALP-v1-2014-FeigeJ #query
Demand Queries with Preprocessing (UF, SJ), pp. 477–488.
MLDMMLDM-2014-Schafer #classification #towards
Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.
IJCARIJCAR-2014-HeuleSB #proving
A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.
DRRDRR-2013-Nagy #documentation #fault #image
Preprocessing document images by resampling is error prone and unnecessary (GN).
DRRDRR-2013-OpreanLM #adaptation #database #word
Handwritten word preprocessing for database adaptation (CO, LLS, CM).
VLDBVLDB-2013-FanGN #big data #query
Making Queries Tractable on Big Data with Preprocessing (WF, FG, FN), pp. 685–696.
SEFMSEFM-2013-VanspauwenJ
Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.
SEKESEKE-2013-GaoKN #estimation #quality
Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.
OOPSLAOOPSLA-2013-SmaragdakisBK #analysis #points-to
Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
ASEASE-2013-0002IP #c #concurrent #named #tool support #verification
CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
GPCEGPCE-2013-SchulzeLSA #empirical #matter
Does the discipline of preprocessor annotations matter?: a controlled experiment (SS, JL, JS, SA), pp. 65–74.
TACASTACAS-2013-BelovJM
Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.
CIKMCIKM-2012-ReyesD #natural language
Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.
PLDIPLDI-2012-GazzilloG #c #named #parsing
SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
STOCSTOC-2012-KhotPV #problem
2log1-ε n hardness for the closest vector problem with preprocessing (SK, PP, NKV), pp. 277–288.
ICLPICLP-2012-MorakW #programming #set
Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
ICSTSAT-2012-GelderWL #quantifier
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (AVG, SBW, FL), pp. 86–99.
ICSTSAT-2012-NadelRS #incremental #satisfiability
Preprocessing in Incremental SAT (AN, VR, OS), pp. 256–269.
ICDARICDAR-2011-KurbielKE #analysis #component #independence #novel
A Novel Preprocessing Method for Hectography Prints Based on Independent Component Analysis (TK, IVK, SE), pp. 1145–1149.
SCAMSCAM-2011-SchulzeJF
Analyzing the Effect of Preprocessor Annotations on Code Clones (SS, EJ, JF), pp. 115–124.
ICALPICALP-v1-2011-BodlaenderJK #analysis #combinator #kernel
Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization (HLB, BMPJ, SK), pp. 437–448.
ICEISICEIS-v1-2011-SantosP #data mining #mining #ubiquitous
Enabling Ubiquitous Data Mining in Intensive Care — Features Selection and Data Pre-processing (MS, FP), pp. 261–266.
DRRDRR-2010-SmithLD
Effect of pre-processing on binarization (EHBS, LLS, JD), pp. 1–10.
ICALPICALP-v1-2010-KratschW #problem
Preprocessing of Min Ones Problems: A Dichotomy (SK, MW), pp. 653–665.
DACDAC-2010-PigorschS #satisfiability #using
An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.
DATEDATE-2010-LomneDMTR #analysis #difference #statistics
Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.
DATEDATE-2010-MangassarianLGVB
Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
ICSTSAT-2010-GiunchigliaMN #effectiveness #equivalence #named #reasoning
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
ICDARICDAR-2009-Likforman-SulemDS #documentation
Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
ICPCICPC-J-2008-VidacsBG09 #c #c++ #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
ICSMEICSM-2009-HuangSWSW #industrial #legacy #mining
Preprocessing the noise in legacy user permission assignment data for role mining — An industrial practice (CH, JS, XW, YS, DW), pp. 403–406.
HCIHIMI-II-2009-AllamrajuC #clustering #documentation #heuristic
Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.
ICEISICEIS-AIDSS-2009-BratuP #data mining #mining #towards
Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.
KDDKDD-2009-ScrippsTE #analysis #network
Measuring the effects of preprocessing decisions and network forces in dynamic network analysis (JS, PNT, AHE), pp. 747–756.
SEKESEKE-2009-AlvaresOHB #data mining #framework #mining
A Framework for Trajectory Data Preprocessing for Data Mining (LOA, GO, CAH, VB), pp. 698–702.
ASEASE-2009-SaebjoernsenJQS #c #metaprogramming #validation
Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
CCCC-2009-Padioleau #c #c++ #parsing
Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
ICLPICLP-2009-ChristiansenL #analysis #modelling #optimisation #sequence
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICPCICPC-2008-VidacsJBG #c #c++ #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
SCAMSCAM-2008-GondowKI #analysis #approach #automation #behaviour #c #named
TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor’s Behaviors (KG, HK, TI), pp. 35–44.
CIKMCIKM-2008-LiuLNBMG #dataset #feature model #performance #realtime #scalability
Real-time data pre-processing technique for efficient feature extraction in large scale datasets (YL, LVL, RSN, KB, PM, CLG), pp. 981–990.
SIGIRSIGIR-2008-Nguyen #approach #query #web #word
Query preprocessing: improving web search through a Vietnamese word tokenization approach (DN), pp. 765–766.
ICSTSAT-2008-ArgelichLM #satisfiability
A Preprocessor for Max-SAT Solvers (JA, CML, FM), pp. 15–20.
ICSTSAT-2008-HerasL #clique #satisfiability
A Max-SAT Inference-Based Pre-processing for Max-Clique (FH, JL), pp. 139–152.
ICDARICDAR-2007-AbedM #comparison #feature model #recognition
Comparison of Different Preprocessing and Feature Extraction Methods for Offline Recognition of Handwritten ArabicWords (HEA, VM), pp. 974–978.
ICDARICDAR-2007-BoussellaaZTAB #analysis #documentation #named
PRAAD: Preprocessing and Analysis Tool for Arabic Ancient Documents (WB, AZ, BT, AMA, AB), pp. 1058–1062.
ICSMEICSM-2007-SuttonM #c #how
How We Manage Portability and Configuration with the C Preprocessor (AS, JIM), pp. 275–284.
KDDKDD-2007-FastFMTJGK #detection #relational
Relational data pre-processing techniques for improved securities fraud detection (ASF, LF, MEM, BJT, DJ, HGG, JK), pp. 941–949.
CCCC-2007-ChoAUP #effectiveness #multi #scheduling
Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors (DC, RA, GRU, YP), pp. 16–31.
DACDAC-2007-HanS #algorithm #named #performance
Alembic: An Efficient Algorithm for CNF Preprocessing (HH, FS), pp. 582–587.
TACASTACAS-2007-CondratK #approach
A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.
ICSTSAT-2007-BubeckB #bound
Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.
ICPRICPR-v2-2006-ZhangYL #image
Preprocessing of Handwritten Date Images on Chinese Cheque (CZ, JYY, ZL), pp. 1010–1013.
SEKESEKE-2006-BogornyEA #framework #mining #named
GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining (VB, PME, LOA), pp. 79–84.
ICDARICDAR-2005-FarooqGP #documentation
Pre-processing Methods for Handwritten Arabic Documents (FF, VG, MPP), pp. 267–271.
ICEISICEIS-v5-2005-JaklicV #algorithm #documentation #image
Two Simple Algorithms for Document Image Preprocessing — Making a Document Scanning Application More User-Friendly (AJ, BV), pp. 116–121.
SACSAC-2005-DAgostiniF #aspect-oriented #metalanguage
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor (TSD, AAF), pp. 1563–1564.
GPCEGPCE-2005-Priebe #haskell
Preprocessing Eden with Template Haskell (SP), pp. 357–372.
ICSTSAT-J-2004-SubbarayanP05 #named #satisfiability
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
ICSTSAT-2005-EenB #effectiveness #satisfiability
Effective Preprocessing in SAT Through Variable and Clause Elimination (NE, AB), pp. 61–75.
ICSTSAT-2005-GershmanS #effectiveness
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.
CSMRCSMR-2004-Latendresse #evaluation #symbolic computation #term rewriting
Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.
CSMRCSMR-2004-VidacsBF #c #c++
Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
KDDKDD-2004-PavlovBDKP #classification #clustering #documentation #multi #naive bayes
Document preprocessing for naive Bayes classification and clustering with mixture of multinomials (DP, RB, BD, SK, JP), pp. 829–834.
SEKESEKE-2004-HessI #ontology
Applying Ontologies in the KDD Pre-Processing Phase (GNH, CI), pp. 366–371.
CSMRCSMR-2003-Latendresse #c #c++ #evaluation #performance #symbolic computation #using
Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
CSMRCSMR-2003-Vittek #refactoring
Refactoring Browser with Preprocessor (MV), pp. 101–110.
SASSAS-2003-HermenegildoPBL #abstract interpretation #development #using
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.
ICSTSAT-2003-BacchusW #effectiveness #reduction #similarity
Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
ICPRICPR-v3-2002-IgualGJ #recognition
Preprocessing and Recognition of Characters in Container Codes (ISI, GAG, AJPJ), pp. 143–146.
PDPPDP-2002-MirandaGMG #ada
A Technique to Build Ada Preprocessors (JM, FGS, JM, AG), pp. 196–200.
WCREWCRE-2001-BaxterM #partial evaluation
Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.
PPDPPPDP-2000-Gramlich #proving #term rewriting #termination
Simplifying termination proofs for rewrite systems by preprocessing (BG), pp. 139–150.
ICDARICDAR-1999-KavianifarA #feature model #multi
Preprocessing and Structural Feature Extraction for a Multi-Fonts Arabic/Persian OCR (MK, AA), pp. 213–216.
ICMLICML-1999-Talavera #clustering #feature model
Feature Selection as a Preprocessing Step for Hierarchical Clustering (LT), pp. 389–397.
MLDMMLDM-1999-Jahn #image #learning
Unsupervised Learning of Local Mean Gray Values for Image Pre-processing (HJ), pp. 64–74.
HPCAHPCA-1999-JacobsonS
Instruction Pre-Processing in Trace Processors (QJ, JES), pp. 125–129.
ICLPICLP-1999-HermenegildoBPL #debugging #optimisation #program analysis #using
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.
ICPRICPR-1998-HameyYWS #identification #image #segmentation #self
Pre-processing colour images with a self-organising map: baking curve identification and bake image segmentation (LGCH, JCHY, TW, SKYS), pp. 1771–1775.
ICPRICPR-1998-Szira #image #performance
Anisotropic diffusion as a preprocessing step for efficient image compression (TS, IK, BPT), pp. 1565–1567.
ICDARICDAR-1997-MadhvanathG #image #recognition #word
Contour-based Image Preprocessing for Holistic Handwritten Word Recognition (SM, VG), pp. 536–539.
ECIRACIR-1997-Moulinier #feature model
Feature Selection: A Useful Preprocessing Step (IM).
ICSMEICSM-1996-Favre #perspective
Preprocessors from an Abstract Point of View (JMF), p. 329–?.
WCREWCRE-1996-Favre #perspective
Preprocessors from an Abstract Point of View (JMF), pp. 287–296.
ICPRICPR-1996-ParodiP #documentation #image #performance
An efficient pre-processing of mixed-content document images for OCR systems (PP, GP), pp. 778–782.
ICDARICDAR-v2-1995-BraunCGM #image
Preprocessing raw binary images by means of contours (AB, TC, JMG, EM), pp. 640–643.
KDDKDD-1994-AnandBH #architecture #database #mining #optimisation #query #semantics
Database Mining in the Architecture of a Semantic Preprocessor for State Aware Query Optimization (SSA, DAB, JGH), pp. 287–298.
CADECADE-1994-Schumann #bottom-up #named #proving #theorem proving #top-down
DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers — System Abstract (JS), pp. 774–777.
ICDARICDAR-1993-CaesarGM #feature model #recognition
Preprocessing and feature extraction for a handwriting recognition system (TC, JMG, EM), pp. 408–411.
ICDARICDAR-1993-Kigo
Improving speed of Japanese OCR through linguistic preprocessing (KK), pp. 214–217.
ICDARICDAR-1993-PlamondonBCS #algorithm #design #validation
Validation of preprocessing algorithms: A methodology and its application to the design of a thinning algorithm for handwritten characters (RP, MB, CC, CYS), pp. 262–269.
ICALPICALP-1991-Naor #string
String Matching with Preprocessing of Text and Pattern (MN), pp. 739–750.
ICLPICLP-1991-CostaWY #prolog
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.
TAPSOFTCCIPL-1989-Dietrich #prolog
A Preprocessor Based Module System for Prolog (RD), pp. 126–139.
DACDAC-1986-ChangD #problem
A preprocessor for the via minimization problem (KCC, DHCD), pp. 702–707.
DACDAC-1981-YoungC
A preprocessor for channel routing (MHY, LC), pp. 756–761.
DACDAC-1976-Ho #analysis #source code
A preprocessor for structural analysis programs (PKH), pp. 17–24.
SIGIRSIGIR-1971-LovemanMT #named #strict
CUE: A Preprocessor for Restricted, Natural English (DBL, JAM, RGT), pp. 47–59.

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.