2610 search results - page 60 / 522 » The Recognition Strategy Language |
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
14 years 3 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
The SRI speaker recognition system for the 2008 NIST speaker recognition evaluation (SRE) incorporates a variety of models and features, both cepstral and stylistic. We highlight ...
LREC
2008
13 years 11 months ago
2008
We present an approach for the cross-lingual induction of speech recognition grammars that separates the task of translation from the task of grammar generation. The source speech...
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
Recognition of unconstrained handwritten text is still a challenge. In this paper we consider a new problem, which is the recognition of notes written on a whiteboard. Our recogni...
IBPRIA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...