3359 search results - page 106 / 672 » Evaluating Significance of Inconsistencies |
198
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
: ? Improving Clustering Stability with Combinatorial MRFs Bekkerman, Ron; Scholz, Martin; Viswanathan, Krishnamurthy HP Laboratories HPL-2009-46 Clustering stability, combinatoria...
147
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Studies show that programs contain much similar code, commonly known as clones. One of the main reasons for introducing clones is programmers' tendency to copy and paste code...
181
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
175
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
166
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...