2502 search results - page 180 / 501 » Using probabilistic model checking in systems biology |
197
click to vote
BCB
2010
15 years 1 months ago
2010
A major bottleneck in high-throughput protein crystallography is producing protein-structure models from an electrondensity map. In previous work, we developed Acmi, a probabilist...
180
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
178
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We present a probabilistic framework for recognizing objects in images of cluttered scenes. Hundreds of objects may be considered and searched in parallel. Each object is learned f...
151
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
165
click to vote
RECOMB
2002
Springer
16 years 6 months ago
2002
Springer
The problem of characterizing and detecting recurrent sequence patterns such as substrings or motifs and related associations or rules is variously pursued in order to compress da...