2869 search results - page 145 / 574 » The Inference Problem: A Survey |
126
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
129
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
119
Voted
ISMB
1994
15 years 2 months ago
1994
The automatic generation of drawings of metabolic pathways is a challenging problem that depends intimately on exactly what information has been recorded for each pathway, and on ...
133
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...
87
Voted
RECOMB
2002
Springer
16 years 1 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...