1755 search results - page 176 / 351 » An efficient simulation algorithm based on abstract interpre... |
140
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
122
Voted
DMIN
2006
15 years 4 months ago
2006
Association rules discovery is one of the most important tasks in Knowledge Discovery in Data Bases. Since the initial APRIORI algorithm, many efforts have been done in order to de...
133
Voted
TCBB
2008
15 years 3 months ago
2008
Mass spectrometry has become one of the most popular analysis techniques in Proteomics and Systems Biology. With the creation of larger data sets, the automated recalibration of ma...
131
click to vote
SWAT
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Finding maximum independent sets in graphs with bounded maximum degree is a well-studied NP-complete problem. We introduce an algorithm schema for improving the approxim...
122
click to vote
AH
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. With the huge increase in the volume of information available in digital form and the increasing diversity of Web applications, the need for efficient, reliable, informat...