637 search results - page 73 / 128 » Filtering with Approximate Predicates |
ITP
2010
15 years 1 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
ACL
1998
14 years 11 months ago
1998
This paper proposes a method by which 5WlH (who, when, where, what, why, how, and predicate) information is used to classify and navigate Japaneselanguage texts. 5WlH information,...
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
: © One-Class Collaborative Filtering Rong Pan, Yunhong Zhou, Bin Cao, Nathan N. Liu, Rajan Lukose, Martin Scholz, Qiang Yang HP Laboratories HPL-2008-133 collaborative filtering,...
TCOM
2010
14 years 4 months ago
2010
Joint carrier frequency offset (CFO) and channel estimation for uplink MIMO-OFDMA systems over time-varying channels is investigated. To cope with the prohibitive computational co...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of tracking involves challenges like in-plane and out-of-plane rotations, scaling, variations in ambient light and occlusions. In this paper we look at the problem of ...