Sciweavers

927 search results - page 186 / 186
» Detection of Simple Plagiarism in Computer Science Papers
Sort
View
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
13 years 9 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
PAKDD
2011
ACM
419views Data Mining» more  PAKDD 2011»
12 years 8 months ago
DISC: Data-Intensive Similarity Measure for Categorical Data
Abstract. The concept of similarity is fundamentally important in almost every scientific field. Clustering, distance-based outlier detection, classification, regression and sea...
Aditya Desai, Himanshu Singh, Vikram Pudi