3082 search results - page 545 / 617 » Deviation Analysis: A New Use of Model Checking |
BMCBI
2010
15 years 3 hour ago
2010
Background: Prognosis is of critical interest in breast cancer research. Biomedical studies suggest that genomic measurements may have independent predictive power for prognosis. ...
BMCBI
2007
14 years 12 months ago
2007
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
104
click to vote
BMCBI
2010
15 years 1 hour ago
2010
Background: Microarray data discretization is a basic preprocess for many algorithms of gene regulatory network inference. Some common discretization methods in informatics are us...
109
click to vote
JMM2
2007
14 years 11 months ago
2007
— This paper makes new contributions in motion detection, object segmentation and trajectory estimation to create a successful object tracking system. A new efficient motion det...
105
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
Interactive communications among nodes in Vehicular Ad Hoc Networks (VANET) and the safety-oriented nature of many VANET applications necessitate a robust security framework. An a...