8874 search results - page 1653 / 1775 » A New Implementation of Automath |
185
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
155
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
Tracking the identities of moving objects is an important aspect of most multi-object tracking applications. Uncertainty in sensor data, coupled with the intrinsic difficulty of ...
136
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents ACE (Autonomous Classification Engine), a framework for using and optimizing classifiers. Given a set of feature vectors, ACE experiments with a variety of cla...
137
click to vote
ISNN
2005
Springer
15 years 10 months ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
129
click to vote
ISPEC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A ring signature scheme can be viewed as a group signature scheme with no anonymity revocation and with simple group setup. A linkable ring signature (LRS) scheme additio...