5255 search results - page 541 / 1051 » Formal Methods for Privacy |
159
click to vote
ISI
2005
Springer
16 years 17 days ago
2005
Springer
This paper presents an improved speaker verification technique that is especially appropriate for surveillance scenarios. The main idea is a metalearning scheme aimed at improving ...
169
click to vote
OOPSLA
2005
Springer
16 years 17 days ago
2005
Springer
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
188
click to vote
SAFECOMP
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
210
click to vote
CEAS
2008
Springer
15 years 9 months ago
2008
Springer
A method is presented which analyses the audio speech data of voice calls and calculates an "acoustic fingerprint". The audio data of the voice calls are compared with e...
152
click to vote
APVIS
2007
15 years 8 months ago
2007
Email has become an integral method of communication. However, it is still plagued by vast amounts of spam. Many statistical techniques, such as Bayesian filtering, have been app...