2488 search results - page 413 / 498 » An improvement in formal verification |
119
click to vote
DICS
2006
15 years 5 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...
110
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
The data volume of XML repositories and the response time of query processing have become critical issues for many applications, especially for those in the Web. An interesting alt...
107
click to vote
ISPEC
2010
Springer
15 years 3 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
109
click to vote
DRR
2008
15 years 2 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
105
click to vote
ACE
2003
15 years 2 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...