289 search results - page 27 / 58 » A Tour with Constructive Real Numbers |
SIGOPS
1998
13 years 8 months ago
1998
Abstract. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a practical, stratified autocalibration algorithm with theoretical guarantees of global optimality. Given a projective reconstruction, the first stage of the algorithm ...
ICML
2003
IEEE
14 years 9 months ago
2003
IEEE
In many real world applications, active selection of training examples can significantly reduce the number of labelled training examples to learn a classification function. Differ...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we propose a novel algorithm to discover the topk covering rule groups for each row of gene expression profiles. Several experiments on real bioinformatics datasets...