6750 search results - page 1151 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
242
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
112
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a new approach to model and classify breast parenchymal tissue. Given a mammogram, first, we will discover the distribution of the different tissue densities in an unsu...
115
Voted
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
Object tracking is a challenging problems in real-time computer vision due to variations of lighting condition, pose, scale, and view-point over time. However, it is exceptionally...
140
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper, an efficient method using various histogrambased (high-dimensional) image content descriptors for automatically classifying general color photos into relevant categ...
137
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...