933 search results - page 76 / 187 » Fully automatic cross-associations |
142
click to vote
ICDAR
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
146
click to vote
SP
2009
IEEE
16 years 28 days ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
145
click to vote
FM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
110
click to vote
ICASSP
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper introduces a new way to measure rhythmic similarity between two musical pieces using periodicity spectra. In order to detect similarity for pieces of different tempi, t...
169
click to vote
ICPR
2008
IEEE
16 years 19 days ago
2008
IEEE
Facial feature tracking is a crucial and challenging task in computer vision. Recently online-learning methods have become increasingly popular on account of their strong ability ...