1057 search results - page 196 / 212 » Testing from Formal Specifications, a Generic Approach |
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
We describe a method for improving the precision of metasearch results based upon scoring the visual features of documents' surrogate representations. These surrogate scores ...
BMCBI
2008
13 years 7 months ago
2008
Background: Identifying quantitative trait loci (QTL) for both additive and epistatic effects raises the statistical issue of selecting variables from a large number of candidates...
BMCBI
2006
13 years 7 months ago
2006
Background: Understanding gene regulatory networks has become one of the central research problems in bioinformatics. More than thirty algorithms have been proposed to identify DN...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
In this paper we address the problem of detecting topics in large-scale linked document collections. Recently, topic detection has become a very active area of research due to its...