1585 search results - page 4 / 317 » A framework for computer-aided validation |
127
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
106
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
The existing methods for offline training of cascade classifiers take a greedy search to optimize individual classifiers in the cascade, leading inefficient overall performance. W...
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
116
click to vote
KDD
2006
ACM
16 years 3 days ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
ICIP
2009
IEEE
16 years 22 days ago
2009
IEEE
Colorectal cancer includes cancer of the colon, rectum, anus and appendix. Since it is largely preventable, it is extremely important to detect and treat the colorectal cancer in ...