1171 search results - page 47 / 235 » Graph-Constrained Group Testing |
CADE
2002
Springer
16 years 4 days 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...
SIGIR
2006
ACM
15 years 5 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...
HICSS
2003
IEEE
15 years 5 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 1 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...
115
click to vote
CHI
2007
ACM
16 years 7 days ago
2007
ACM
Video connections can establish a media space in which games may be played, just as people play games while collocated. Experiments with participants playing the game `Mafia'...