Tag #preprocessor
111 papers:
CIAA-2018-KutribMW #automaton #queue- Boosting Pushdown and Queue Machines by Preprocessing (MK, AM, MW), pp. 28–40.
GPCE-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.
CASE-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.
SANER-2016-MazinanianT #css #empirical #using- An Empirical Study on the Use of CSS Preprocessors (DM, NT), pp. 168–178.
CIG-2016-AversaSV - Pruning and preprocessing methods for inventory-aware pathfinding (DA, SS, SV), pp. 1–8.
ASE-2016-MazinanianT #css #migration #mixin- Migrating cascading style sheets to preprocessors by introducing mixins (DM, NT), pp. 672–683.
- CASE-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.
CIKM-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.
ECOOP-2015-MedeirosKRNG #c- The Love/Hate Relationship with the C Preprocessor: An Interview Study (FM, CK, MR, SN, RG), pp. 495–518.
PDP-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.
SAT-2015-BalabanovI - Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
- SAT-2015-WimmerGNSB
- Preprocessing for DQBF (RW, KG, JN, CS, BB), pp. 173–190.
ICSME-2014-KanningS #slicing #variability- Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
ICALP-v1-2014-FeigeJ #query- Demand Queries with Preprocessing (UF, SJ), pp. 477–488.
MLDM-2014-Schafer #classification #towards- Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.
IJCAR-2014-HeuleSB #proving- A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.
DRR-2013-Nagy #documentation #fault #image- Preprocessing document images by resampling is error prone and unnecessary (GN).
- DRR-2013-OpreanLM #adaptation #database #word
- Handwritten word preprocessing for database adaptation (CO, LLS, CM).
VLDB-2013-FanGN #big data #query- Making Queries Tractable on Big Data with Preprocessing (WF, FG, FN), pp. 685–696.
SEFM-2013-VanspauwenJ - Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.
SEKE-2013-GaoKN #estimation #quality- Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.
OOPSLA-2013-SmaragdakisBK #analysis #points-to- Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
- ASE-2013-0002IP #c #concurrent #named #tool support #verification
- CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
- GPCE-2013-SchulzeLSA #empirical #matter
- Does the discipline of preprocessor annotations matter?: a controlled experiment (SS, JL, JS, SA), pp. 65–74.
TACAS-2013-BelovJM - Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.
- CIKM-2012-ReyesD #natural language
- Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.
PLDI-2012-GazzilloG #c #named #parsing- SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
STOC-2012-KhotPV #problem- 2log1-ε n hardness for the closest vector problem with preprocessing (SK, PP, NKV), pp. 277–288.
ICLP-2012-MorakW #programming #set- Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
- SAT-2012-GelderWL #quantifier
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (AVG, SBW, FL), pp. 86–99.
- SAT-2012-NadelRS #incremental #satisfiability
- Preprocessing in Incremental SAT (AN, VR, OS), pp. 256–269.
ICDAR-2011-KurbielKE #analysis #component #independence #novel- A Novel Preprocessing Method for Hectography Prints Based on Independent Component Analysis (TK, IVK, SE), pp. 1145–1149.
SCAM-2011-SchulzeJF - Analyzing the Effect of Preprocessor Annotations on Code Clones (SS, EJ, JF), pp. 115–124.
- ICALP-v1-2011-BodlaenderJK #analysis #combinator #kernel
- Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization (HLB, BMPJ, SK), pp. 437–448.
ICEIS-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.
- DRR-2010-SmithLD
- Effect of pre-processing on binarization (EHBS, LLS, JD), pp. 1–10.
- ICALP-v1-2010-KratschW #problem
- Preprocessing of Min Ones Problems: A Dichotomy (SK, MW), pp. 653–665.
DAC-2010-PigorschS #satisfiability #using- An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.
DATE-2010-LomneDMTR #analysis #difference #statistics- Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.
- DATE-2010-MangassarianLGVB
- Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
- SAT-2010-GiunchigliaMN #effectiveness #equivalence #named #reasoning
- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
- ICDAR-2009-Likforman-SulemDS #documentation
- Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
ICPC-J-2008-VidacsBG09 #c #c++ #slicing- Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
- ICSM-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.
HIMI-II-2009-AllamrajuC #clustering #documentation #heuristic- Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.
- ICEIS-AIDSS-2009-BratuP #data mining #mining #towards
- Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.
KDD-2009-ScrippsTE #analysis #network- Measuring the effects of preprocessing decisions and network forces in dynamic network analysis (JS, PNT, AHE), pp. 747–756.
- SEKE-2009-AlvaresOHB #data mining #framework #mining
- A Framework for Trajectory Data Preprocessing for Data Mining (LOA, GO, CAH, VB), pp. 698–702.
- ASE-2009-SaebjoernsenJQS #c #metaprogramming #validation
- Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
CC-2009-Padioleau #c #c++ #parsing- Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
- ICLP-2009-ChristiansenL #analysis #modelling #optimisation #sequence
- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
- ICPC-2008-VidacsJBG #c #c++ #slicing
- Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
- SCAM-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.
- CIKM-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.
SIGIR-2008-Nguyen #approach #query #web #word- Query preprocessing: improving web search through a Vietnamese word tokenization approach (DN), pp. 765–766.
- SAT-2008-ArgelichLM #satisfiability
- A Preprocessor for Max-SAT Solvers (JA, CML, FM), pp. 15–20.
- SAT-2008-HerasL #clique #satisfiability
- A Max-SAT Inference-Based Pre-processing for Max-Clique (FH, JL), pp. 139–152.
- ICDAR-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.
- ICDAR-2007-BoussellaaZTAB #analysis #documentation #named
- PRAAD: Preprocessing and Analysis Tool for Arabic Ancient Documents (WB, AZ, BT, AMA, AB), pp. 1058–1062.
- ICSM-2007-SuttonM #c #how
- How We Manage Portability and Configuration with the C Preprocessor (AS, JIM), pp. 275–284.
- KDD-2007-FastFMTJGK #detection #relational
- Relational data pre-processing techniques for improved securities fraud detection (ASF, LF, MEM, BJT, DJ, HGG, JK), pp. 941–949.
- CC-2007-ChoAUP #effectiveness #multi #scheduling
- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors (DC, RA, GRU, YP), pp. 16–31.
- DAC-2007-HanS #algorithm #named #performance
- Alembic: An Efficient Algorithm for CNF Preprocessing (HH, FS), pp. 582–587.
- TACAS-2007-CondratK #approach
- A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.
- SAT-2007-BubeckB #bound
- Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.
ICPR-v2-2006-ZhangYL #image- Preprocessing of Handwritten Date Images on Chinese Cheque (CZ, JYY, ZL), pp. 1010–1013.
- SEKE-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.
- ICDAR-2005-FarooqGP #documentation
- Pre-processing Methods for Handwritten Arabic Documents (FF, VG, MPP), pp. 267–271.
- ICEIS-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.
SAC-2005-DAgostiniF #aspect-oriented #metalanguage- Bridging AOP to SMP: turning GCC into a metalanguage preprocessor (TSD, AAF), pp. 1563–1564.
- GPCE-2005-Priebe #haskell
- Preprocessing Eden with Template Haskell (SP), pp. 357–372.
- SAT-J-2004-SubbarayanP05 #named #satisfiability
- NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
- SAT-2005-EenB #effectiveness #satisfiability
- Effective Preprocessing in SAT Through Variable and Clause Elimination (NE, AB), pp. 61–75.
- SAT-2005-GershmanS #effectiveness
- Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.
CSMR-2004-Latendresse #evaluation #symbolic computation #term rewriting- Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.
- CSMR-2004-VidacsBF #c #c++
- Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
- KDD-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.
- SEKE-2004-HessI #ontology
- Applying Ontologies in the KDD Pre-Processing Phase (GNH, CI), pp. 366–371.
- CSMR-2003-Latendresse #c #c++ #evaluation #performance #symbolic computation #using
- Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
- CSMR-2003-Vittek #refactoring
- Refactoring Browser with Preprocessor (MV), pp. 101–110.
SAS-2003-HermenegildoPBL #abstract interpretation #development #using- Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.
- SAT-2003-BacchusW #effectiveness #reduction #similarity
- Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
- ICPR-v3-2002-IgualGJ #recognition
- Preprocessing and Recognition of Characters in Container Codes (ISI, GAG, AJPJ), pp. 143–146.
- PDP-2002-MirandaGMG #ada
- A Technique to Build Ada Preprocessors (JM, FGS, JM, AG), pp. 196–200.
WCRE-2001-BaxterM #partial evaluation- Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.
PPDP-2000-Gramlich #proving #term rewriting #termination- Simplifying termination proofs for rewrite systems by preprocessing (BG), pp. 139–150.
- ICDAR-1999-KavianifarA #feature model #multi
- Preprocessing and Structural Feature Extraction for a Multi-Fonts Arabic/Persian OCR (MK, AA), pp. 213–216.
ICML-1999-Talavera #clustering #feature model- Feature Selection as a Preprocessing Step for Hierarchical Clustering (LT), pp. 389–397.
- MLDM-1999-Jahn #image #learning
- Unsupervised Learning of Local Mean Gray Values for Image Pre-processing (HJ), pp. 64–74.
HPCA-1999-JacobsonS - Instruction Pre-Processing in Trace Processors (QJ, JES), pp. 125–129.
- ICLP-1999-HermenegildoBPL #debugging #optimisation #program analysis #using
- Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.
- ICPR-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.
- ICPR-1998-Szira #image #performance
- Anisotropic diffusion as a preprocessing step for efficient image compression (TS, IK, BPT), pp. 1565–1567.
- ICDAR-1997-MadhvanathG #image #recognition #word
- Contour-based Image Preprocessing for Holistic Handwritten Word Recognition (SM, VG), pp. 536–539.
ACIR-1997-Moulinier #feature model- Feature Selection: A Useful Preprocessing Step (IM).
- ICSM-1996-Favre #perspective
- Preprocessors from an Abstract Point of View (JMF), p. 329–?.
- WCRE-1996-Favre #perspective
- Preprocessors from an Abstract Point of View (JMF), pp. 287–296.
- ICPR-1996-ParodiP #documentation #image #performance
- An efficient pre-processing of mixed-content document images for OCR systems (PP, GP), pp. 778–782.
- ICDAR-v2-1995-BraunCGM #image
- Preprocessing raw binary images by means of contours (AB, TC, JMG, EM), pp. 640–643.
- KDD-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.
CADE-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.
- ICDAR-1993-CaesarGM #feature model #recognition
- Preprocessing and feature extraction for a handwriting recognition system (TC, JMG, EM), pp. 408–411.
- ICDAR-1993-Kigo
- Improving speed of Japanese OCR through linguistic preprocessing (KK), pp. 214–217.
- ICDAR-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.
- ICALP-1991-Naor #string
- String Matching with Preprocessing of Text and Pattern (MN), pp. 739–750.
- ICLP-1991-CostaWY #prolog
- The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.
CCIPL-1989-Dietrich #prolog- A Preprocessor Based Module System for Prolog (RD), pp. 126–139.
- DAC-1986-ChangD #problem
- A preprocessor for the via minimization problem (KCC, DHCD), pp. 702–707.
- DAC-1981-YoungC
- A preprocessor for channel routing (MHY, LC), pp. 756–761.
- DAC-1976-Ho #analysis #source code
- A preprocessor for structural analysis programs (PKH), pp. 17–24.
- SIGIR-1971-LovemanMT #named #strict
- CUE: A Preprocessor for Restricted, Natural English (DBL, JAM, RGT), pp. 47–59.
