Sciweavers

113 search results - page 14 / 23
» Statistical Tools for Digital Forensics
Sort
View
VLSID
2007
IEEE
149views VLSI» more  VLSID 2007»
14 years 9 months ago
Efficient and Accurate Statistical Timing Analysis for Non-Linear Non-Gaussian Variability With Incremental Attributes
Title of thesis: EFFICIENT AND ACCURATE STATISTICAL TIMING ANALYSIS FOR NON-LINEAR NON-GAUSSIAN VARIABILITY WITH INCREMENTAL ATTRIBUTES Ashish Dobhal, Master of Science, 2006 Thes...
Ashish Dobhal, Vishal Khandelwal, Ankur Srivastava
SIGSOFT
2007
ACM
14 years 9 months ago
Quantitative verification: models techniques and tools
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
Marta Z. Kwiatkowska
IPMI
2003
Springer
14 years 1 months ago
CAD Tool for Burn Diagnosis
In this paper, a novel region growing algorithm for segmenting burn wounds in digital photographs of the skin is presented. This segmentation step has been developed as part of a C...
Begoña Acha, Carmen Serrano, José I....
RECOMB
2002
Springer
14 years 9 months ago
Comparison of minisatellites
In the class of repeated sequences that occur in DNA, minisatellites have been found polymorphic and became useful tools in genetic mapping and forensic studies. They consist of a...
Eric Rivals, Sèverine Bérard
CBMS
2004
IEEE
14 years 9 days ago
Image Segmentation of Uterine Cervix Images for Indexing in PACS
The National Cancer Institute has collected a large database of digitized 35mm slides of the uterine cervix, the idea being to build a system enabling to study the evolution of le...
Shiri Gordon, Gali Zimmerman, Hayit Greenspan