Stem preprocess$ (all stems)

64 papers:

SAT-2015-BalabanovI #preprocessor

Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.

SAT-2015-WimmerGNSB #preprocessor

Preprocessing for DQBF (RW, KG, JN, CS, BB), pp. 173–190.

DATE-2014-SeidlK #quantifier

Partial witnesses from preprocessed quantified Boolean formulas (MS, RK), pp. 1–6.

ICALP-v1-2014-FeigeJ #preprocessor #query

Demand Queries with Preprocessing (UF, SJ), pp. 477–488.

MLDM-2014-Schafer #classification #preprocessor #towards

Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.

IJCAR-2014-HeuleSB #preprocessor #proving

A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.

DRR-2013-Nagy #documentation #fault #image #preprocessor

Preprocessing document images by resampling is error prone and unnecessary (GN).

DRR-2013-OpreanLM #adaptation #database #preprocessor #word

Handwritten word preprocessing for database adaptation (CO, LLS, CM).

VLDB-2013-FanGN #big data #preprocessor #query

Making Queries Tractable on Big Data with Preprocessing (WF, FG, FN), pp. 685–696.

TACAS-2013-BelovJM #preprocessor

Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.

SEFM-2013-VanspauwenJ #preprocessor

Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.

SEKE-2013-GaoKN #estimation #preprocessor #quality

Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.

STOC-2012-KhotPV #preprocessor #problem

2log1-ε n hardness for the closest vector problem with preprocessing (SK, PP, NKV), pp. 277–288.

CIKM-2012-ReyesD #natural language #preprocessor

Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.

ICLP-2012-MorakW #preprocessor #programming #set

Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.

SAT-2012-GelderWL #preprocessor #quantifier

Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (AVG, SBW, FL), pp. 86–99.

SAT-2012-MarinMB #design #incremental #preprocessor #verification

Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.

SAT-2012-NadelRS #incremental #preprocessor #satisfiability

Preprocessing in Incremental SAT (AN, VR, OS), pp. 256–269.

ICDAR-2011-KurbielKE #analysis #component #independence #novel #preprocessor

A Novel Preprocessing Method for Hectography Prints Based on Independent Component Analysis (TK, IVK, SE), pp. 1145–1149.

ICALP-v1-2011-BodlaenderJK #analysis #combinator #kernel #preprocessor

Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization (HLB, BMPJ, SK), pp. 437–448.

DAC-2010-PigorschS #preprocessor #satisfiability #using

An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.

DATE-2010-LomneDMTR #analysis #difference #preprocessor #statistics

Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.

DATE-2010-MangassarianLGVB #preprocessor

Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.

ICALP-v1-2010-KratschW #preprocessor #problem

Preprocessing of Min Ones Problems: A Dichotomy (SK, MW), pp. 653–665.

ICSM-2009-HuangSWSW #industrial #legacy #mining #preprocessor

Preprocessing the noise in legacy user permission assignment data for role mining — An industrial practice (CH, JS, XW, YS, DW), pp. 403–406.

ICEIS-AIDSS-2009-BratuP #data mining #mining #preprocessor #towards

Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.

KDD-2009-ScrippsTE #analysis #network #preprocessor

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 #preprocessor

A Framework for Trajectory Data Preprocessing for Data Mining (LOA, GO, CAH, VB), pp. 698–702.

ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.

SIGIR-2008-Nguyen #approach #preprocessor #query #web #word

Query preprocessing: improving web search through a Vietnamese word tokenization approach (DN), pp. 765–766.

DAC-2007-HanS #algorithm #named #performance #preprocessor

Alembic: An Efficient Algorithm for CNF Preprocessing (HH, FS), pp. 582–587.

ICDAR-2007-AbedM #comparison #feature model #preprocessor #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 #preprocessor

PRAAD: Preprocessing and Analysis Tool for Arabic Ancient Documents (WB, AZ, BT, AMA, AB), pp. 1058–1062.

TACAS-2007-CondratK #approach #preprocessor

A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.

CC-2007-ChoAUP #effectiveness #multi #preprocessor #scheduling

Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors (DC, RA, GRU, YP), pp. 16–31.

SAT-2007-BubeckB #bound #preprocessor

Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.

ICPR-v2-2006-ZhangYL #image #preprocessor

Preprocessing of Handwritten Date Images on Chinese Cheque (CZ, JYY, ZL), pp. 1010–1013.

SEKE-2006-BogornyEA #framework #mining #named #preprocessor

GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining (VB, PME, LOA), pp. 79–84.

ICEIS-v5-2005-JaklicV #algorithm #documentation #image #preprocessor

Two Simple Algorithms for Document Image Preprocessing — Making a Document Scanning Application More User-Friendly (AJ, BV), pp. 116–121.

GPCE-2005-Priebe #haskell #preprocessor

Preprocessing Eden with Template Haskell (SP), pp. 357–372.

SAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability

NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.

SAT-2005-EenB #effectiveness #preprocessor #satisfiability

Effective Preprocessing in SAT Through Variable and Clause Elimination (NE, AB), pp. 61–75.

SAT-2005-GershmanS #effectiveness #preprocessor

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.

CSMR-2004-Latendresse #evaluation #preprocessor #symbolic computation #term rewriting

Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.

CSMR-2004-VidacsBF #c #c++ #preprocessor

Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.

KDD-2004-PavlovBDKP #classification #clustering #documentation #multi #naive bayes #preprocessor

Document preprocessing for naive Bayes classification and clustering with mixture of multinomials (DP, RB, BD, SK, JP), pp. 829–834.

CSMR-2003-Latendresse #c #c++ #evaluation #performance #preprocessor #symbolic computation #using

Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.

SAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity

Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.

IWPC-2002-CoxC #xml

Relocating XML Elements from Preprocessed to Unprocessed Code (AC, CLAC), pp. 229–238.

AdaEurope-2002-GonzalezSMMG #ada #how

How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.

ICPR-v3-2002-IgualGJ #preprocessor #recognition

Preprocessing and Recognition of Characters in Container Codes (ISI, GAG, AJPJ), pp. 143–146.

WCRE-2001-KullbachR #approach #comprehension #named

Folding: An Approach to Enable Program Understanding of Preprocessed Languages (BK, VR), pp. 3–12.

PPDP-2000-Gramlich #preprocessor #proving #term rewriting #termination

Simplifying termination proofs for rewrite systems by preprocessing (BG), pp. 139–150.

ICDAR-1999-KavianifarA #feature model #multi #preprocessor

Preprocessing and Structural Feature Extraction for a Multi-Fonts Arabic/Persian OCR (MK, AA), pp. 213–216.

ICML-1999-Talavera #clustering #feature model #preprocessor

Feature Selection as a Preprocessing Step for Hierarchical Clustering (LT), pp. 389–397.

ICPR-1998-Szira #image #performance #preprocessor

Anisotropic diffusion as a preprocessing step for efficient image compression (TS, IK, BPT), pp. 1565–1567.

ICDAR-1997-MadhvanathG #image #preprocessor #recognition #word

Contour-based Image Preprocessing for Holistic Handwritten Word Recognition (SM, VG), pp. 536–539.

ACIR-1997-Moulinier #feature model #preprocessor

Feature Selection: A Useful Preprocessing Step (IM).

ICDAR-v2-1995-BraunCGM #image #preprocessor

Preprocessing raw binary images by means of contours (AB, TC, JMG, EM), pp. 640–643.

ICDAR-1993-CaesarGM #feature model #preprocessor #recognition

Preprocessing and feature extraction for a handwriting recognition system (TC, JMG, EM), pp. 408–411.

ICDAR-1993-Kigo #preprocessor

Improving speed of Japanese OCR through linguistic preprocessing (KK), pp. 214–217.

ICDAR-1993-PlamondonBCS #algorithm #design #preprocessor #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 #preprocessor #string

String Matching with Preprocessing of Text and Pattern (MN), pp. 739–750.

ICALP-1990-DobkinK #approach

Determining the Separation of Preprocessed Polyhedra — A Unified Approach (DPD, DGK), pp. 400–413.