21 papers:
SIGIR-2015-GwizdkaZ #difference #metric #web- Differences in Eye-Tracking Measures Between Visits and Revisits to Relevant and Irrelevant Web Pages (JG, YZ), pp. 811–814.
ICDAR-2013-DuH #approach #normalisation #online #recognition #variability- An Irrelevant Variability Normalization Based Discriminative Training Approach for Online Handwritten Chinese Character Recognition (JD, QH), pp. 69–73.
FoSSaCS-2011-Abel #similarity #type system- Irrelevance in Type Theory with a Heterogeneous Equality Judgement (AA0), pp. 57–71.
CIKM-2011-JonesHTS #documentation #interactive- Relative effect of spam and irrelevant documents on user interaction with search engines (TJ, DH, PT, RS), pp. 2113–2116.
- CIKM-2011-YangZKL #how #learning #question #why
- Can irrelevant data help semi-supervised learning, why and how? (HY, SZ, IK, MRL), pp. 937–946.
ICML-2011-HelmboldL #on the- On the Necessity of Irrelevant Variables (DPH, PML), pp. 281–288.
ECIR-2010-RamanUBB #documentation #feedback #on the #pseudo #using- On Improving Pseudo-Relevance Feedback Using Pseudo-Irrelevant Documents (KR, RU, PB, AB), pp. 573–576.
- SIGIR-2009-ZhangHS #approximate #modelling
- Approximating true relevance distribution from a mixture model based on irrelevance data (PZ, YH, DS), pp. 107–114.
TLCA-2009-AbelCP #algorithm #composition #proving #type system- A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (AA, TC, MP), pp. 5–19.
- TLCA-2009-LovasP #proving #refinement
- Refinement Types as Proof Irrelevance (WL, FP), pp. 157–171.
SAC-2008-MerhavF #on the #peer-to-peer- On filtering irrelevant results in peer-to-peer search (YM, OF), pp. 1171–1172.
ASE-2007-DiepED- Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.
- ICML-2006-VeeramachaneniOA #detection
- Active sampling for detecting irrelevant features (SV, EO, PA), pp. 961–968.
IJCAR-2006-Werner #on the- On the Strength of Proof-Irrelevant Type Theories (BW), pp. 604–618.
DAC-2002-SmithNMCFKMB #embedded #question #tool support- Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? (GS, DN, SM, RC, JF, KK, GM, BB), p. 479.
LICS-2001-Pfenning #proving #type system- Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (FP), pp. 221–230.
ICALP-1998-Barthe- The Relevance of Proof-Irrelevance (GB), pp. 755–768.
- ICML-1998-Ng #feature model #learning #on the
- On Feature Selection: Learning with Exponentially Many Irrelevant Features as Training Examples (AYN), pp. 404–412.
- ICML-1996-GreinerGK
- Exploiting the Omission of Irrelevant Data (RG, AJG, AK), pp. 216–224.
- ICML-1994-JohnKP #problem #set
- Irrelevant Features and the Subset Selection Problem (GHJ, RK, KP), pp. 121–129.
VLDB-1986-BlakeleyCL #detection- Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates (JAB, NC, PÅL), pp. 457–466.
