Sciweavers

3106 search results - page 141 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
PAMI
2007
171views more  PAMI 2007»
14 years 9 months ago
Toward Objective Evaluation of Image Segmentation Algorithms
—Unsupervised image segmentation is an important component in many image understanding algorithms and practical vision systems. However, evaluation of segmentation algorithms thu...
Ranjith Unnikrishnan, Caroline Pantofaru, Martial ...
83
Voted
HIM
1997
Springer
144views Multimedia» more  HIM 1997»
15 years 2 months ago
DIANE - Hypermedia Documents in a Distributed Annotation Environment
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
Hartmut Benz, Steffen Fischer, Rolf Mecklenburg, G...
86
Voted
EUROCRYPT
2004
Springer
15 years 2 months ago
Anonymous Identification in Ad Hoc Groups
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
Yevgeniy Dodis, Aggelos Kiayias, Antonio Nicolosi,...
105
Voted
APLAS
2010
ACM
14 years 10 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
75
Voted
PVLDB
2010
110views more  PVLDB 2010»
14 years 8 months ago
Read-Once Functions and Query Evaluation in Probabilistic Databases
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
Prithviraj Sen, Amol Deshpande, Lise Getoor