3082 search results - page 207 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
BMCBI
2006
15 years 6 months 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...
157
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
195
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
State of the art multiresolution modeling allows to selectively refine a coarse mesh of an object on the visually important parts. In this way it is possible to render the geometr...
197
click to vote
NN
2000
Springer
15 years 6 months ago
2000
Springer
ICA (independent component analysis) is a new, simple and powerful idea for analyzing multi-variant data. One of the successful applications is neurobiological data analysis such ...