200 search results - page 15 / 40 » Group Testing with Probabilistic Tests: Theory, Design and A... |
GROUP
1999
ACM
14 years 4 days ago
1999
ACM
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
CANDC
2007
ACM
13 years 11 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
We present WeSpace – a collaborative work space that integrates a large data wall with a multi-user multi-touch table. WeSpace has been developed for a population of scientists ...
CF
2005
ACM
13 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...