2502 search results - page 379 / 501 » Using probabilistic model checking in systems biology |
151
click to vote
CVPR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
156
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
168
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
146
click to vote
SAIG
2000
Springer
15 years 8 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
166
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Similarity search methods are widely used as kernels in various data mining and machine learning applications including those in computational biology, web search/clustering. Near...