2531 search results - page 215 / 507 » Group testing in graphs |
161
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
190
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Studying the association between quantitative phenotype (such as height or weight) and single nucleotide polymorphisms (SNPs) is an important problem in biology. To understand und...
186
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
We study the problem of correlating micro-blogging activity with stock-market events, defined as changes in the price and traded volume of stocks. Specifically, we collect messa...
144
click to vote
HAPTICS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient's fine hand control. A physician measures the total time required to i...
145
click to vote
CAINE
2004
15 years 7 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...