4192 search results - page 129 / 839 » Efficient testing of groups |
107
Voted
CADE
2002
Springer
16 years 1 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
88
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...
83
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
INTERACT
2003
15 years 2 months ago
2003
: Resonance (Gibson, 1986) of users while interacting with a product should be a key issue in the development of human computer interaction. Because resonance requires developing o...
110
Voted
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose an efficient algorithm for mining frequent approximate sequential patterns under the Hamming distance model. Our algorithm gains its efficiency by adopting a "brea...