Stem distinguish$ (all stems)
37 papers:
CIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine- Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
DLT-2015-KrebsLL #on the- On Distinguishing NC¹ and NL (AK, KJL, ML), pp. 340–351.
LATA-2015-Panteleev #sequence- Preset Distinguishing Sequences and Diameter of Transformation Semigroups (PP), pp. 353–364.
LATA-2014-MazadiGZ #pattern matching- Distinguishing Pattern Languages with Membership Examples (ZM, ZG, SZ), pp. 528–540.
ICTSS-2014-TurkerUY #adaptation #sequence- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, TÜ, HY), pp. 32–47.
ICDAR-2013-KunzeSIK #detection #documentation #off the shelf #process #recognition #using- Reading Activity Recognition Using an Off-the-Shelf EEG — Detecting Reading Activities and Distinguishing Genres of Documents (KK, YS, SI, KK), pp. 96–100.
ICTSS-2013-KushikEY #adaptation #finite #nondeterminism #state machine- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.
ASE-2012-RubinC #difference #set #using- Locating distinguishing features using diff sets (JR, MC), pp. 242–245.
CIKM-2012-MurakamiM #how #people #question #web- How do humans distinguish different people with identical names on the web? (HM, YM), pp. 2475–2478.
ICPR-2012-LiuW #image- Posed and spontaneous expression distinguishment from infrared thermal images (ZL, SW), pp. 1108–1111.
POPL-2012-BlackO #hoare #perspective- Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview (APB, PWO), pp. 1–2.
CHI-2011-HutamaSFG #correlation #interactive #multi #using- Distinguishing multiple smart-phone interactions on a multi-touch wall display using tilt correlation (WH, PS, CWF, WBG), pp. 3315–3318.
ICST-2011-Nica #on the #testing #using- On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.
ICPR-2010-JiangZWZ- Distinguishing Patients with Gastritis and Cholecystitis from the Healthy by Analyzing Wrist Radial Arterial Doppler Blood Flow Signals (XJ, DZ, KW, WZ), pp. 2492–2495.
SEFM-2009-HieronsJUY #adaptation #sequence #using- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
CHI-2009-HarperMK #social- Facts or friends?: distinguishing informational and conversational questions in social Q&A sites (FMH, DM, JAK), pp. 759–768.
CHI-2009-RoudautLG #named- MicroRolls: expanding touch-screen input vocabulary by distinguishing rolls vs. slides of the thumb (AR, EL, YG), pp. 927–936.
KMIS-2009-Grundstein- Distinguishing Knowledge from Information — A Prerequisite for Elaborating KM Initiative Strategy (MG), pp. 135–140.
CIKM-2008-AlqadahB08a #clustering #detection #set- Detecting significant distinguishing sets among bi-clusters (FA, RB), pp. 1455–1456.
SAC-2008-HieronsJUY #adaptation #sequence #using- Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
WICSA-2007-Muccini #architecture #testing #what- What Makes Software Architecture-Based Testing Distinguishable (HM), p. 29.
ICALP-v2-2006-DuboisGS #performance- An Efficient Provable Distinguisher for HFE (VD, LG, JS), pp. 156–167.
ICALP-v2-2006-FouquePSZ- Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffie-Hellman Schemes (PAF, DP, JS, SZ), pp. 240–251.
TestCom-2006-YalcinY #sequence #using- Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.
ICDAR-2005-DrakeB #geometry #using- Distinguishing Mathematics Notation from English Text using Computational Geometry (DMD, HSB), pp. 1270–1274.
AMOST-2005-Robinson-MallettLMG #generative #model checking #sequence- Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG).
DLT-2002-Esik #finite #generative #logic #monad #word- Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators (ZÉ), pp. 43–58.
ICALP-2002-DengLLMW #string- A PTAS for Distinguishing (Sub)string Selection (XD, GL, ZL, BM, LW), pp. 740–751.
CIKM-2001-ConradD #automation #recognition- Automatic Recognition of Distinguishing Negative Indirect History Language in Judicial Opinions (JGC, DPD), pp. 287–294.
TLCA-2001-Jay #calculus #data type- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.
ICPR-v2-2000-Fernau #n-gram- k-gram Extensions of Terminal Distinguishable Languages (HF), pp. 2125–2128.
ICDAR-1999-ZhuSW #algorithm #fourier #image- A New Distinguishing Algorithm of Connected Character Image based on Fourier Transform (XZ, YS, SW), pp. 788–791.
IWTCS-1998-Boroday #finite #nondeterminism #state machine #testing- Distinguishing Tests for Nondeterministic Finite State Machines (SB), pp. 101–108.
STOC-1995-AlurCY #nondeterminism #probability #testing- Distinguishing tests for nondeterministic and probabilistic machines (RA, CC, MY), pp. 363–372.
PPoPP-1993-HuelsbergenL #concurrent #garbage collection- A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data (LH, JRL), pp. 73–82.
CAV-1991-Korver #bisimulation #branch- Computing Distinguishing Formulas for Branching Bisimulation (HK), pp. 13–23.
LICS-1986-PerrinS #automaton #decidability #equivalence #integer #monad- Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories (DP, PES), pp. 301–304.