1888 search results - page 199 / 378 » Proof theory and computational analysis |
116
click to vote
BMCBI
2006
15 years 26 days ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
107
click to vote
BMCBI
2008
15 years 28 days ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...
132
Voted
IC3
2009
14 years 10 months ago
2009
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
114
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
124
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. We present a probabilistic algorithm for finding correspondences across multiple images. The algorithm runs in a distributed setting, where each camera is attached to a s...