11 papers:
CSL-2015-Berardi #comprehension #higher-order #induction- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (SB), pp. 343–358.
ICML-c3-2013-FriedlandJL #detection #social- Copy or Coincidence? A Model for Detecting Social Influence and Duplication Events (LF, DJ, ML), pp. 1175–1183.
LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad- Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.
CHI-2010-TsujitaTS #behaviour #communication #evaluation #named- InPhase: evaluation of a communication system focused on “happy coincidences” of daily behaviors (HT, KT, IS), pp. 2481–2490.
ICEIS-v2-2004-KooptiwootS #mining #set #using- Mining the Relationships in the Form of the Predisposing Factors and Coincident Factors Among Numerical Dynamic Attributes in Time Series Data Set by Using the Combination of Some Existing Techniques (SK, MAS), pp. 327–334.
- ICEIS-v2-2004-KooptiwootS04a #idea #mining #set #using
- Mining the Relationships in the Form of Predisposing Factor and Coincident Factor in Time Series Data Set by Using the Combination of some Existing Ideas with a new Idea from the Fact in the Chemical Reaction (SK, MAS), pp. 531–534.
SAC-2004-SheldonJ #embedded #reliability- Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems (FTS, KJ), pp. 826–833.
HT-2001-ThompsonR #hypermedia- Hypermedia by coincidence (MKT, DDR), pp. 129–130.
- CHI-1998-PlesniakP #artificial reality #using #video
- Coincident Display Using Haptics and Holographic Video (WP, RP), pp. 304–311.
KDD-1998-SteegRW #correlation #detection #higher-order #multi #performance- Coincidence Detection: A Fast Method for Discovering Higher-Order Correlations in Multidimensional Data (EWS, DAR, EW), pp. 112–120.
CC-1992-KnoopS #interprocedural #theorem- The Interprocedural Coincidence Theorem (JK, BS), pp. 125–140.
