4 papers:
IJCAR-2014-GoreTW #logic #proving #theorem proving #using- A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.
CIKM-2007-EavisL #estimation #multi #named- Rk-hist: an r-tree based histogram for multi-dimensional selectivity estimation (TE, AL), pp. 475–484.
VLDB-2005-LimWV #classification #estimation #online #string #xml- CXHist : An On-line Classification-Based Histogram for XML String Selectivity Estimation (LL, MW, JSV), pp. 1187–1198.
- CIKM-2002-QiaoAA #adaptation #data type #named #summary
- RHist: adaptive summarization over continuous data streams (LQ, DA, AEA), pp. 469–476.
