3082 search results - page 171 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
182
click to vote
ACL
1992
15 years 7 months ago
1992
For a very long time, it has been considered that the only way of automatically extracting similar groups of words from a text collection for which no semantic information exists ...
165
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Clustering methods are widely used on gene expression data to categorize genes with similar expression profiles. Finding an appropriate (dis)similarity measure is crit...
176
click to vote
BIBE
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. Currently, the method most used for gene detection calls on Affymetrix oligonucleotide arrays is provided as part of the MAS5.0 software. The MAS method uses Wilcoxon sta...
181
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...