967 search results - page 10 / 194 » Automated benchmarking and analysis tool |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
HICSS
2009
IEEE
13 years 5 months ago
2009
IEEE
We propose a benchmarking technique that is combined with customer's cognitive structures. Customer's cognitive structures are determined using a multi-dimensional scali...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...
ICDAR
1995
IEEE
13 years 11 months ago
1995
IEEE
We describe a new approach for evaluating page segmentation algorithms. Unlike techniques that rely on OCR output, our method is region-based: the segmentation output, described a...