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.