Sciweavers

10435 search results - page 405 / 2087
» Measuring system normality
Sort
View
ICLP
2007
Springer
16 years 29 days ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
EUROPAR
2006
Springer
15 years 10 months ago
Early Experiences with KTAU on the IBM BG/L
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
Aroon Nataraj, Allen D. Malony, Alan Morris, Samee...
ISSTA
2012
ACM
13 years 9 months ago
A quantitative study of accuracy in system call-based malware detection
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
Davide Canali, Andrea Lanzi, Davide Balzarotti, Ch...
CVPR
2008
IEEE
16 years 11 months ago
Illumination and Camera Invariant Stereo Matching
Color information can be used as a basic and crucial cue for finding correspondence in a stereo matching algorithm. In a real scene, however, image colors are affected by various g...
Yong Seok Heo (Seoul National University), Kyoung ...
BMCBI
2006
123views more  BMCBI 2006»
15 years 6 months ago
Characterizing disease states from topological properties of transcriptional regulatory networks
Background: High throughput gene expression experiments yield large amounts of data that can augment our understanding of disease processes, in addition to classifying samples. He...
David Tuck, Harriet Kluger, Yuval Kluger