BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (7)
proof (5)
relev (4)
theori (4)
featur (4)

Stem irrelev$ (all stems)

21 papers:

SIGIRSIGIR-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.
ICDARICDAR-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.
FoSSaCSFoSSaCS-2011-Abel #similarity #type system
Irrelevance in Type Theory with a Heterogeneous Equality Judgement (AA0), pp. 57–71.
CIKMCIKM-2011-JonesHTS #documentation #interactive
Relative effect of spam and irrelevant documents on user interaction with search engines (TJ, DH, PT, RS), pp. 2113–2116.
CIKMCIKM-2011-YangZKL #how #learning #question #why
Can irrelevant data help semi-supervised learning, why and how? (HY, SZ, IK, MRL), pp. 937–946.
ICMLICML-2011-HelmboldL #on the
On the Necessity of Irrelevant Variables (DPH, PML), pp. 281–288.
ECIRECIR-2010-RamanUBB #documentation #feedback #on the #pseudo #using
On Improving Pseudo-Relevance Feedback Using Pseudo-Irrelevant Documents (KR, RU, PB, AB), pp. 573–576.
SIGIRSIGIR-2009-ZhangHS #approximate #modelling
Approximating true relevance distribution from a mixture model based on irrelevance data (PZ, YH, DS), pp. 107–114.
TLCATLCA-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.
TLCATLCA-2009-LovasP #proving #refinement
Refinement Types as Proof Irrelevance (WL, FP), pp. 157–171.
SACSAC-2008-MerhavF #on the #peer-to-peer
On filtering irrelevant results in peer-to-peer search (YM, OF), pp. 1171–1172.
ASEASE-2007-DiepED
Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.
ICMLICML-2006-VeeramachaneniOA #detection
Active sampling for detecting irrelevant features (SV, EO, PA), pp. 961–968.
IJCARIJCAR-2006-Werner #on the
On the Strength of Proof-Irrelevant Type Theories (BW), pp. 604–618.
DACDAC-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.
LICSLICS-2001-Pfenning #proving #type system
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (FP), pp. 221–230.
ICALPICALP-1998-Barthe
The Relevance of Proof-Irrelevance (GB), pp. 755–768.
ICMLICML-1998-Ng #feature model #learning #on the
On Feature Selection: Learning with Exponentially Many Irrelevant Features as Training Examples (AYN), pp. 404–412.
ICMLICML-1996-GreinerGK
Exploiting the Omission of Irrelevant Data (RG, AJG, AK), pp. 216–224.
ICMLICML-1994-JohnKP #problem #set
Irrelevant Features and the Subset Selection Problem (GHJ, RK, KP), pp. 121–129.
VLDBVLDB-1986-BlakeleyCL #detection
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates (JAB, NC, PÅL), pp. 457–466.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.