Stem remov$ (all stems)

183 papers:

CASE-2015-ChangL #algorithm #fuzzy #image

A fuzzy weighted mean aggregation algorithm for color image impulse noise removal (JYC, PCL), pp. 1268–1273.

CASE-2015-Malik #composition #verification

Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.

ICPC-2015-HauptmannJW #automation #generative #refactoring #testing

Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.

ICML-2015-ScholkopfHWFJSP #fault

Removing systematic errors for exoplanet search via latent causes (BS, DWH, DW, DFM, DJ, CJSG, JP), pp. 2218–2226.

KDD-2015-FeldmanFMSV

Certifying and Removing Disparate Impact (MF, SAF, JM, CS, SV), pp. 259–268.

SEKE-2015-AndoSUWFIOHKSNY #developer #development #experience #fault #how #process #question

How Does Defect Removal Activity of Developer Vary with Development Experience? (RA, SS, CU, HW, YF, SI, HO, YH, MK, KS, KN, MY), pp. 540–545.

ECOOP-2015-Chevalier-Boisvert #effectiveness #lazy evaluation #version control

Simple and Effective Type Check Removal through Lazy Basic Block Versioning (MCB, MF), pp. 101–123.

HPCA-2015-BeckmannS #named #performance

Talus: A simple way to remove cliffs in cache performance (NB, DS), pp. 64–75.

DAC-2014-WuWNBP #on the

On Timing Closure: Buffer Insertion for Hold-Violation Removal (PCW, MDFW, IN, SB, VP), p. 6.

DRR-2014-Kavallieratou #documentation

A slant removal technique for document page (EK), p. ?–11.

MSR-2014-PassosC #dataset #feature model #kernel #linux

A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.

DLT-2014-EngelfrietMS #how #top-down #transducer

How to Remove the Look-Ahead of Top-Down Tree Transducers (JE, SM, HS), pp. 103–115.

ICEIS-v2-2014-DingTZ #automation #c #c++ #source code

Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.

ECIR-2014-SchnitzerFT #multi #retrieval

A Case for Hubness Removal in High-Dimensional Multimedia Retrieval (DS, AF, NT), pp. 687–692.

ICPR-2014-BuiNK #graph #music #using

Staff Line Removal Using Line Adjacency Graph and Staff Line Skeleton for Camera-Based Printed Music Scores (HNB, ISN, SHK), pp. 2787–2789.

ICPR-2014-GuoCLHS #ambiguity #automation #identification #multi

Multi-shot Person Re-identification with Automatic Ambiguity Inference and Removal (CCG, SZC, JHL, XJH, SCS), pp. 3540–3545.

ICPR-2014-LitvinovL #incremental #modelling #visual notation

Incremental Solid Modeling from Sparse Structure-from-Motion Data with Improved Visual Artifacts Removal (VL, ML), pp. 2745–2750.

ICPR-2014-McCloskey

Masking Light Fields to Remove Partial Occlusion (SM), pp. 2053–2058.

ICPR-2014-MontagnerjH #machine learning

A Machine Learning Based Method for Staff Removal (IdSM, RHJ, NSTH), pp. 3162–3167.

ICPR-2014-NhatNKYL #music #recognition

Distorted Music Score Recognition without Staffline Removal (VQN, TN, SHK, HJY, GL), pp. 2956–2960.

ICPR-2014-ScheltenR #estimation #image #kernel #locality #parametricity

Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

CC-2014-FeautrierVK #performance #source code

Improving the Performance of X10 Programs by Clock Removal (PF, EV, AK), pp. 113–132.

CGO-2014-WangWP #optimisation #reduction #virtual machine

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.

HPCA-2014-PariharH #approach #dependence #metaheuristic

Accelerating decoupled look-ahead via weak dependence removal: A metaheuristic approach (RP, MCH), pp. 662–677.

DocEng-2013-DoTT #documentation #taxonomy #using

Document noise removal using sparse representations over learned dictionary (THD, ST, ORT), pp. 161–168.

ICDAR-2013-RebeloC #detection

Staff Line Detection and Removal in the Grayscale Domain (AR, JSC), pp. 57–61.

ICDAR-2013-VisaniKFJ #contest #music

ICDAR 2013 Music Scores Competition: Staff Removal (MV, VCK, AF, NJ), pp. 1407–1411.

ICSM-2013-BazrafshanK #empirical

An Empirical Study of Clone Removals (SB, RK), pp. 50–59.

SIGIR-2013-BonzaniniMR #summary

Extractive summarisation via sentence removal: condensing relevant sentences into a short summary (MB, MMA, TR), pp. 893–896.

SIGIR-2013-ZengBLL #keyword #xml

Removing the mismatch headache in XML keyword search (YZ, ZB, TWL, GL), pp. 1109–1110.

SAC-2013-ZibranSRS #empirical

Evaluating the conventional wisdom in clone removal: a genealogy-based empirical study (MFZ, RKS, CKR, KAS), pp. 1123–1130.

ESEC-FSE-2013-NguyenX #detection #named

Cachetor: detecting cacheable data to remove bloat (KN, G(X), pp. 268–278.

CASE-2012-MohajeraniMF #composition #synthesis

Transition removal for compositional supervisor synthesis (SM, RM, MF), pp. 694–699.

DAC-2012-KelleyWSRH #interface

Removing overhead from high-level interfaces (KK, MW, JPS, SR, MH), pp. 783–789.

DATE-2012-YangLTW #modelling

Almost every wire is removable: A modeling and solution for removing any circuit wire (XY, TKL, WCT, YLW), pp. 1573–1578.

DRR-2012-Rowley-BrookeK #documentation

Bleed-through removal in degraded documents (RRB, ACK).

CIAA-2012-LombardyS

The Removal of Weighted ε-Transitions (SL, JS), pp. 345–352.

CSCW-2012-Thom-SantelliMD #enterprise #gamification

Removing gamification from an enterprise SNS (JTS, DRM, JMD), pp. 1067–1070.

ECIR-2012-HollinkHV #query

Explaining Query Modifications — An Alternative Interpretation of Term Addition and Removal (VH, JH, APdV), pp. 1–12.

ICPR-2012-FuMW #estimation #representation

Night Removal by Color Estimation and sparse representation (HF, HM, SW), pp. 3656–3659.

ICPR-2012-LiZL #image #sequence #stack

Removal of dust artifacts in focal stack image sequences (CL, KZ, SL), pp. 2602–2605.

ICPR-2012-SrikanthaSM #approach #detection #image

An SVD-based approach for ghost detection and removal in high dynamic range images (AS, DS, FM), pp. 380–383.

KDD-2012-ZhangFWZ #keyword #web

Keyword-propagation-based information enriching and noise removal for web news videos (JZ, XF, JW, LZ), pp. 561–569.

OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code

Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.

ICSE-2012-MitchellS #identification #process

Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.

CAV-2012-KahlonW #concurrent #source code

Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.

DRR-2011-KavallieratouLC #detection

Ruling line detection and removal (EK, DPL, JC), pp. 1–10.

ICDAR-2011-AgrawalD #documentation #image

Stroke-Like Pattern Noise Removal in Binary Document Images (MA, DSD), pp. 17–21.

ICDAR-2011-FornesDGL #contest #identification #music

The ICDAR 2011 Music Scores Competition: Staff Removal and Writer Identification (AF, AD, AG, JL), pp. 1511–1515.

ICDAR-2011-KumarD #image #performance #using

Fast Rule-Line Removal Using Integral Images and Support Vector Machines (JK, DSD), pp. 584–588.

ICDAR-2011-WeiGB #word

A Method for Removing Inflectional Suffixes in Word Spotting of Mongolian Kanjur (HW, GG, YB), pp. 88–92.

PEPM-2011-BolzCFLPR #jit #partial evaluation

Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.

CSCW-2011-Masih #requirements #towards

Towards requirements engineering for a tumour removing robot: work-practice observation of surgical teams performing brain tumour surgery (AM), pp. 677–680.

CIKM-2011-LiaoLCW #named #performance

KLEAP: an efficient cleaning method to remove cross-reads in RFID streams (GL, JL, LC, CW), pp. 2209–2212.

ICSE-2011-OlivetoGBPL #identification #smell

Identifying method friendships to remove the feature envy bad smell (RO, MG, GB, DP, ADL), pp. 820–823.

DAC-2010-ChenW

Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.

DATE-2010-SeiculescuMBM

A method to remove deadlocks in Networks-on-Chips with Wormhole flow control (CS, SM, LB, GDM), pp. 1625–1628.

DATE-2010-YangCZH #multi #satisfiability

SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal (FY, YC, QZ, JH), pp. 1369–1372.

ICALP-v2-2010-BokerKR #automaton

Alternation Removal in Büchi Automata (UB, OK, AR), pp. 76–87.

CIKM-2010-GargNB #algorithm #memory management #performance #realtime

Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.

ICPR-2010-BattiatoFGMR

Boosting Gray Codes for Red Eyes Removal (SB, GMF, MG, GM, DR), pp. 4214–4217.

ICPR-2010-ChenA

Human Shadow Removal with Unknown Light Source (CCC, JKA), pp. 2407–2410.

ICPR-2010-ConteFPTV10a

Reflection Removal in Color Videos (DC, PF, GP, FT, MV), pp. 1788–1791.

ICPR-2010-DuttaPFL #approach #documentation #performance

An Efficient Staff Removal Approach from Printed Musical Documents (AD, UP, AF, JL), pp. 1965–1968.

ICPR-2010-LoprestiK #image

Ruling Line Removal in Handwritten Page Images (DPL, EK), pp. 2704–2707.

ICPR-2010-McCloskeyLS

Removing Partial Occlusion from Blurred Thin Occluders (SM, MSL, KS), pp. 4400–4403.

ICPR-2010-MoroTU #detection #using

Detection of Moving Objects with Removal of Cast Shadows and Periodic Changes Using Stereo Vision (AM, KT, KU), pp. 328–331.

ICPR-2010-QinLLL

Moving Cast Shadow Removal Based on Local Descriptors (RQ, SL, ZL, SZL), pp. 1377–1380.

ICPR-2010-SaninSL #robust

Improved Shadow Removal for Robust Person Tracking in Surveillance Scenarios (AS, CS, BCL), pp. 141–144.

ICPR-2010-ShiSG #documentation #image #using

Removing Rule-Lines from Binary Handwritten Arabic Document Images Using Directional Local Profile (ZS, SS, VG), pp. 1916–1919.

ICPR-2010-UchiyamaDTIM #image #multi #sequence

Removal of Moving Objects from a Street-View Image by Fusing Multiple Image Sequences (HU, DD, TT, II, HM), pp. 3456–3459.

ICPR-2010-YamashitaMK #image #multi

Fence Removal from Multi-focus Images (AY, AM, TK), pp. 4532–4535.

DATE-2009-LinW #using

Rewiring using IRredundancy Removal and Addition (CCL, CYW), pp. 324–327.

DATE-2009-WhittySEP #algorithm #architecture #configuration management

Mapping of a film grain removal algorithm to a heterogeneous reconfigurable architecture (SW, HS, RE, WPR), pp. 27–32.

ICDAR-2009-Abd-AlmageedKD #documentation #linear #using

Page Rule-Line Removal Using Linear Subspaces in Monochromatic Handwritten Arabic Documents (WAA, JK, DSD), pp. 768–772.

ICDAR-2009-AgrawalD #documentation #image

Clutter Noise Removal in Binary Document Images (MA, DSD), pp. 556–560.

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-EstradaT

Manuscript Bleed-through Removal via Hysteresis Thresholding (RE, CT), pp. 753–757.

ICDAR-2009-SharmaL #bound

Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script (DVS, GSL), pp. 256–260.

TACAS-2009-SchollDPK #constraints #detection #linear

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.

MSR-2009-AyewahP #fault #learning

Learning from defect removals (NA, WP), pp. 179–182.

PEPM-2009-LiT #clone detection #detection #erlang #refactoring

Clone detection and removal for Erlang/OTP within a refactoring environment (HL, SJT), pp. 169–178.

LATA-2009-LimayeM #automaton #multi #testing

Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata (NL, MM), pp. 493–504.

CGO-2009-YuGS #fault tolerance #named

ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.

DAC-2008-JiangSC #design #scalability

Routability-driven analytical placement by net overlapping removal for large-scale mixed-size designs (ZWJ, BYS, YWC), pp. 167–172.

DRR-2008-BrinkKS #automation #identification #verification

Automatic removal of crossed-out handwritten text and the effect on writer verification and identification (AB, HvdK, LS), p. 68150.

CSMR-2008-TsantalisCC #identification #named #smell

JDeodorant: Identification and Removal of Type-Checking Bad Smells (NT, TC, AC), pp. 329–331.

SIGAda-2008-Maurer #ada #problem #source code

Removing backward go-to statements from Ada programs: possibilities and problems (WDM), pp. 105–108.

ICPR-2008-Al-KhaffafTS #image

Removing salt-and-pepper noise from binary images of engineering drawings (HSMAK, AZT, RAS), pp. 1–4.

ICPR-2008-BattiatoPB #video

Regular texture removal for video stabilization (SB, GP, AB), pp. 1–4.

ICPR-2008-ChandraS #using

A method for removing cyclic artefacts in discrete tomography using latin squares (SC, IDS), pp. 1–4.

ICPR-2008-ChowC #3d

Specularity removal and relighting of 3D object model for virtual exhibition (SKC, KLC), pp. 1–4.

ICPR-2008-IzadiS #robust #using

Robust region-based background subtraction and shadow removing using color and gradient information (MI, PS), pp. 1–5.

ICPR-2008-LezorayTE #clustering #graph

Impulse noise removal by spectral clustering and regularization on graphs (OL, VTT, AE), pp. 1–4.

KR-2008-BoothM #social

Equilibria in Social Belief Removal (RB, TAM), pp. 145–155.

OOPSLA-2008-ShankarAB #dynamic analysis #lightweight #named

Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.

SAC-2008-AlbertAGPZ #bytecode #cost analysis #java

Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.

CGO-2008-SundaresanSR #exception

Removing redundancy via exception check motion (VS, MGS, PR), pp. 134–143.

ICLP-2008-Janhunen #set #source code

Removing Redundancy from Answer Set Programs (TJ), pp. 729–733.

ICDAR-2007-MengZZS #documentation #image

Circular Noises Removal from Scanned Document Images (GM, NZ, YZ, YS), pp. 183–187.

ICDAR-2007-ZhangYT #documentation #image #using

Removing Shading Distortions in Camera-based Document Images Using Inpainting and Surface Fitting With Radial Basis Functions (LZ, AMY, CLT), pp. 984–988.

ICSM-2007-FokaefsTC #identification #named #smell

JDeodorant: Identification and Removal of Feature Envy Bad Smells (MF, NT, AC), pp. 519–520.

WCRE-2007-RaberL07a #approach #automation #identification #named #obfuscation

Deobfuscator: An Automated Approach to the Identification and Removal of Code Obfuscation (JR, EL), pp. 275–276.

STOC-2007-RodlS #testing

Property testing in hypergraphs and the removal lemma (VR, MS), pp. 488–495.

SAC-2007-LinsS #algorithm #documentation

A quantitative method for assessing algorithms to remove back-to-front interference in documents (RDL, JMMdS), pp. 610–616.

SAC-2007-NevesCFB

A table-form extraction with artefact removal (LAPN, JMdC, JF, FB), pp. 622–626.

CIAA-2006-GiraudVL #automaton #finite

Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton (MG, PV, DL), pp. 23–33.

CIKM-2006-VieiraSPMCF #detection #performance #robust #web

A fast and robust method for web page template detection and removal (KV, ASdS, NP, ESdM, JMBC, JF), pp. 258–267.

ICPR-v1-2006-FredembachF

Simple Shadow Removal (CF, GDF), pp. 832–835.

ICPR-v1-2006-KoTSH #image #learning #segmentation

A New Image Segmentation Method for Removing Background of Object Movies by Learning Shape Priors (CHK, YPT, ZCS, YPH), pp. 323–326.

ICPR-v1-2006-LiuHTW #component

Cast Shadow Removal with GMM for Surface Reflectance Component (ZL, KH, TT, LW), pp. 727–730.

ICPR-v3-2006-ArcelliBS #3d #set

A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.

ICPR-v3-2006-ChenY06a #adaptation #equation #image

A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.

ICPR-v3-2006-JingS #predict

Scanner Artifact Removal in Simultaneous EEG-fMRI for Epileptic Seizure Prediction (MJ, SS), pp. 722–725.

ICPR-v3-2006-WuR06a

Object Removal By Cross Isophotes Exemplar-based Inpainting (JW, QR), pp. 810–813.

ICPR-v3-2006-ZhengS

Removing Temporal Stationary Blur in Route Panoramas (JYZ, MS), pp. 709–713.

SAC-2006-WangS #analysis

Escape analysis for synchronization removal (LW, XS), pp. 1419–1423.

VLDB-2005-MilenovaYC #database

SVM in Oracle Database 10g: Removing the Barriers to Widespread Adoption of Support Vector Machines (BLM, JY, MMC), pp. 1152–1163.

SCAM-2005-PowerH #classification #java #named #source code

Declassification: Transforming Java Programs to Remove Intermediate Classes (BP, GWH), pp. 183–192.

ECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict

Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.

LOPSTR-2005-OchoaPH #prolog #source code

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.

SAC-2005-QianZQ #classification #image

Spatial contextual noise removal for post classification smoothing of remotely sensed images (YQ, KZ, FQ), pp. 524–528.

CGO-2005-NandivadaD #concurrent

Compile-Time Concurrent Marking Write Barrier Removal (VKN, DD), pp. 37–48.

SAT-2005-Zhang #on the #on the fly

On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.

ICEIS-v3-2004-DavisTC #development #enterprise #framework #information management #specification

Meta Data Framework for Enterprise Information Systems Specification — Aiming to Reduce or Remove the Development Phase for EIS Systems (JD, AT, EC), pp. 451–456.

ICPR-v1-2004-GotoA #documentation #image

Screen Pattern Removal for Character Pattern Extraction from High-resolution Color Document Images (HG, HA), pp. 490–493.

ICPR-v1-2004-TsaiHSST

Background Removal System for Object Movies (YPT, YPH, ZCS, JJS, SRT), pp. 608–611.

ICPR-v2-2004-BaiH04a #detection #documentation #image #multi #using

Underline Detection and Removal in a Document Image Using Multiple Strategies (ZLB, QH), pp. 578–581.

ICPR-v2-2004-Eom #robust

Robust Facet Model for Application to Speckle Noise Removal (KBE), pp. 695–698.

ICPR-v3-2004-TonniesPC #identification #image

Local Identification and Removal of Scatter Artefacts based on the Temporal Information in Dynamic SPECT images (KDT, CP, AC), pp. 762–765.

ICPR-v4-2004-BruniVK #performance

Fast Removal of Line Scratches in Old Movies (VB, DV, ACK), pp. 827–830.

ECOOP-2004-AmmonsCGS #performance #scalability

Finding and Removing Performance Bottlenecks in Large Systems (GA, JDC, MG, NS), pp. 170–194.

SAC-2004-AvilaL #algorithm #documentation

A new algorithm for removing noisy borders from monochromatic documents (BTÁ, RDL), pp. 1219–1225.

LDTA-2004-LohmannRS #attribute grammar #migration #recursion #semantics

Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.

ICDAR-2003-JeongNK #recognition

Non-similar candidate removal method for off-line handwritten Korean character recognition (SHJ, YSN, HKK), pp. 323–328.

ICDAR-2003-WangXTL #approach #documentation #image

Directional Wavelet Approach to Remove Document Image Interference (QW, TX, CLT, LL), pp. 736–740.

DATE-2002-BerkelaarE #effectiveness #performance

Efficient and Effective Redundancy Removal for Million-Gate Circuits (MRCMB, KvE), p. 1088.

ICSM-2002-HarmanHHMZDOW #algorithm

A Post-Placement Side-Effect Removal Algorithm (MH, LH, RMH, MM, XZ, JJD, MCO, JW), pp. 2–11.

CIAA-J-2000-Mohri02 #algorithm #transducer

Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.

ICALP-2002-IwamaT #online #problem

Removable Online Knapsack Problems (KI, ST), pp. 293–305.

CIKM-2002-YuXSTK #collaboration #consistency #in memory #nondeterminism

Removing redundancy and inconsistency in memory-based collaborative filtering (KY, XX, AS, VT, HPK), pp. 52–59.

ICPR-v1-2002-BrancaAD #segmentation

Cast Shadow Removing in Foreground Segmentation (AB, GA, AD), pp. 214–217.

OOPSLA-2002-ZeeR #static analysis

Write barrier removal by static analysis (KZ, MCR), pp. 191–210.

DAC-2001-GuptaGYA #detection #image #satisfiability

Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation (AG, AG, ZY, PA), pp. 536–541.

DATE-2001-EspejoEMO #logic #optimisation #reasoning

Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.

ICDAR-2001-FanLW #documentation #image

Marginal Noise Removal of Document Images (KCF, TRL, YKW), pp. 317–321.

IWPC-2001-HarmanMHZ

Side-Effect Removal Transformation (MH, MM, LH, XZ), pp. 310–319.

WCRE-2001-BaxterM #partial evaluation #preprocessor

Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.

STOC-2001-DunaganV

Optimal outlier removal in high-dimensional (JD, SV), pp. 627–636.

DAC-2000-BlaauwPD #graph

Removing user specified false paths from timing graphs (DB, RP, AD), pp. 270–273.

PLDI-2000-Ruf #effectiveness #java

Effective synchronization removal for Java (ER), pp. 208–218.

CIAA-2000-Mohri #algorithm #automaton

Generic epsilon -Removal Algorithm for Weighted Automata (MM), pp. 230–242.

CC-2000-ShahamKS #array #automation #java #memory management

Automatic Removal of Array Memory Leaks in Java (RS, EKK, SS), pp. 50–66.

ASE-1999-MiliCXA #fault tolerance

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (AM, BC, TX, RBA), p. 137–?.

DATE-1999-HendricxC

Formally Verified Redundancy Removal (SH, LJMC), p. 150–?.

DATE-1999-NagC

Post-Placement Residual-Overlap Removal with Minimal Movement (SN, KC), pp. 581–586.

OOPSLA-1999-BogdaH #java

Removing Unnecessary Synchronization in Java (JB, UH), pp. 35–46.

CC-1999-KnoopRS #semantics

Expansion-Based Removal of Semantic Partial Redundancies (JK, OR, BS), pp. 91–106.

DATE-1998-Cheng #multi #on the

On Removing Multiple Redundancies in Combinational Circuits (DIC), pp. 738–742.

DATE-1998-HsiaoC #performance #sequence

State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits (MSH, STC), pp. 577–582.

CSMR-1998-Leung #development #effectiveness #fault

Improving Defect Removal Effectiveness for Software Development (HKNL), pp. 157–164.

PLDI-1998-BodikGS

Complete Removal of Redundant Computations (RB, RG, MLS), pp. 1–14.

STOC-1998-IndykM #approximate #nearest neighbour #towards

Approximate Nearest Neighbors: Towards Removing the Curse of Dimensionality (PI, RM), pp. 604–613.

Best-of-PLDI-1998-BodikGS98a

Complete removal of redundant expressions (with retrospective) (RB, RG, MLS), pp. 596–611.

ICPR-1998-TsengL #recognition

Interfered-character recognition by removing interfering-lines and adjusting feature weights (YHT, HJL), pp. 1865–1867.

ICDAR-1997-YooKHK #documentation

Line Removal and Restoration of Handwritten Characters on the Form Documents (JYY, MKK, SYH, YBK), pp. 128–131.

ICSE-1997-PerpichPPVW #development #scalability #using #web

Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development (JP, DEP, AAP, LGV, MWW), pp. 14–21.

ESOP-1996-Bechet #encoding #partial evaluation #using

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.

CC-1996-ErtlK #anti #dependence

Removing Anti Dependences by Repairing (MAE, AK), pp. 33–43.

VLDB-1995-YanG #information management

Duplicate Removal in Information System Dissemination (TWY, HGM), pp. 66–77.

ICML-1995-BalujaC #algorithm #search-based #standard

Removing the Genetics from the Standard Genetic Algorithm (SB, RC), pp. 38–46.

KDD-1995-John #database #robust

Robust Decision Trees: Removing Outliers from Databases (GHJ), pp. 174–179.

POPL-1993-MarriottS #constraints #logic programming #optimisation #order #refinement #source code

The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering (KM, PJS), pp. 334–344.

PEPM-1992-Chin #higher-order #lazy evaluation

Fully Lazy Higher-Order Removal (WNC), pp. 38–47.

DAC-1991-Cheng #on the

On Removing Redundancy in Sequential Circuits (KTC), pp. 164–169.

STOC-1991-Mulmuley

Hidden Surface Removal with Respect to a Moving View Point (KM), pp. 512–522.

PPoPP-1991-KrothapalliS #constant #dependence

Removal of Redundant Dependences in DOACROSS Lops with Constant Dependences (VPK, PS), pp. 51–60.

ICALP-1990-GoodrichAO #trade-off

An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version) (MTG, MJA, MHO), pp. 689–702.

STOC-1988-Ben-OrGKW #how #interactive #multi #proving

Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions (MBO, SG, JK, AW), pp. 113–131.

VLDB-1982-KedemMS #concurrent #performance #protocol

An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.

SIGMOD-1981-KedemS #concurrent #database #using

Deadlock Removal Using Partial Rollback in Database Systems (DSF, ZMK, AS), pp. 65–73.