1585 search results - page 145 / 317 » A framework for computer-aided validation |
148
click to vote
IPMI
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Image segmentation in microscopy, especially in interferencebased optical microscopy modalities, is notoriously challenging due to inherent optical artifacts. We propose ...
126
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
This work is motivated by the need for visual information extraction and management in the growing field of content based image retrieval from medical archives. In particular it f...
134
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
153
click to vote
ICIAP
2009
ACM
16 years 4 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
138
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Privacy-preserving data mining has concentrated on obtaining valid results when the input data is private. An extreme example is Secure Multiparty Computation-based methods, where...