148 search results - page 18 / 30 » Comparing Frameworks and Layered Refinement |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
DGCI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a novel template matching framework for detecting geometrically transformed objects. A template is a simplified representation of the object of interest by a s...
JAIR
2008
13 years 7 months ago
2008
Making a decision is often a matter of listing and comparing positive and negative arguments. In such cases, the evaluation scale for decisions should be considered bipolar, that ...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—Although popular text search engines allow users to retrieve similar web pages, source code search engines do not have this feature. Detecting similar applications is a notoriou...
MCS
2000
Springer
13 years 11 months ago
2000
Springer
Various methods exist for reducing correlation between classifiers in a multiple classifier framework. The expectation is that the composite classifier will exhibit improved perfor...