5423 search results - page 297 / 1085 » Denial-of-service in automation systems |
183
click to vote
WCE
2007
15 years 8 months ago
2007
— The build up of water ice on aircraft flight surfaces poses a significant safety risk. As a result, much effort has gone into studying this problem in order to understand how i...
148
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the architecture and the implementation of a full-scale pronunciation lexicon for Turkish using finite state technology. The system produces at its output, a ...
162
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
144
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
178
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...