## Stem cancel$ (all stems)

### 19 papers:

- ICDAR-2013-FornesOL #image #multi
- Show-Through Cancellation and Image Enhancement by Multiresolution Contrast Processing (AF, XO, JL), pp. 200–204.
- SAC-2013-LimaBM
- Broadcast cancellation in search mechanisms (RL, CB, HM), pp. 548–553.
- ICALP-v1-2011-Varadaraja #approximate #problem
- Buyback Problem — Approximate Matroid Intersection with Cancellation Costs (ABV), pp. 379–390.
- DAC-2010-YangLW #complexity #fault #named
- ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
- ICPR-2010-OudaTN
- Tokenless Cancelable Biometrics Scheme for Protecting Iris Codes (OO, NT, TN), pp. 882–885.
- ICPR-2010-WangH #multi #random #recognition #using
- Cancelable Face Recognition Using Random Multiplicative Transform (YW, DH), pp. 1261–1264.
- HPCA-2010-QureshiFL #performance
- Improving read performance of Phase Change Memories via Write Cancellation and Write Pausing (MKQ, MF, LALM), pp. 1–11.
- PADL-2009-SuleimanM #concurrent #implementation #parallel #prolog #thread
- Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.
- LATA-2008-CainORT #automation
- Automatic Presentations for Cancellative Semigroups (AJC, GPO, NR, RMT), pp. 149–159.
- ICGT-2008-Aalst #consistency #verification #workflow
- Discovery, Verification and Conformance of Workflows with Cancellation (WMPvdA), pp. 18–37.
- ICPR-2008-ThomasRCB #analysis #comparative
- Comparative analysis of registration based and registration free methods for cancelable fingerprint biometrics (AOT, NKR, JHC, RMB), pp. 1–4.
- LATA-2007-FrancezK #automaton
- Pushdown automata with cancellation and commutation-augmented pregroups grammars (NF, MK), pp. 7–26.
- ICPR-v4-2006-RathaCBC #case study
- Cancelable Biometrics: A Case Study in Fingerprints (NKR, JHC, RMB, SC), pp. 370–373.
- DATE-DF-2004-KruppMO #model checking #refinement
- Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
- ICPR-v3-2004-SavvidesKK04a #recognition
- Cancelable Biometric Filters for Face Recognition (MS, BVKVK, PKK), pp. 922–925.
- DAC-2003-RenG #performance
- Synthesizing optimal filters for crosstalk-cancellation for high-speed buses (JR, MRG), pp. 592–597.
- CADE-1996-GanzingerW #monad #proving #theorem proving
- Theorem Proving in Cancellative Abelian Monoids (Extended Abstract) (HG, UW), pp. 388–402.
- STOC-1988-GoldbergT #low cost
- Finding Minimum-Cost Circulations by Canceling Negative Cycles (AVG, RET), pp. 388–397.
- ICALP-1984-RestivoR #formal method #permutation
- Cancellation, Pumping and Permutation in Formal Languages (AR, CR), pp. 414–422.