623 search results - page 40 / 125 » Declarative Network Verification |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
Digital Watermarking is seen as a viable solution to authentication of multimedia data and hence its security, especially in a networked environment. In this paper we present a ne...
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
: This paper presents a new approach based on HMM/ANN hybrid for online signature verification. A group of ANNs are used as local probability estimators for an HMM. The Viterbi alg...
ECAI
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
MICAI
2000
Springer
14 years 9 days ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...
ECEASST
2010
13 years 6 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...