1222 search results - page 198 / 245 » A Bayesian Approach to Model Checking Biological Systems |
127
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
181
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: A fundamental problem when trying to define the functional relationships between proteins is the difficulty in quantifying functional similarities, even when well-stru...
139
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
136
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we introduce a cognitive approach for object tracking from a mobile platform. The approach is based on a biologically motivated attention system which is able to...
110
Voted
FAST
2008
15 years 6 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...