5084 search results - page 676 / 1017 » Proving Possibility Properties |
189
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
User verification systems that use a single biometric indicator often have to contend with noisy sensor data, restricted degrees of freedom, non-universality of the biometric tra...
173
click to vote
COLT
2001
Springer
15 years 11 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
183
click to vote
CTRSA
2001
Springer
15 years 11 months ago
2001
Springer
We consider the usage of forward security with threshold signature schemes. This means that even if more than the threshold number of players are compromised, some security remain...
178
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
182
click to vote
ICDT
2001
ACM
15 years 11 months ago
2001
ACM
Abstract. Nearest-neighbor queries in high-dimensional space are of high importance in various applications, especially in content-based indexing of multimedia data. For an optimiz...