104 search results - page 21 / 21 » A Language for Describing Predictors and Its Application to ... |
CAV
1998
Springer
13 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
CPHYSICS
2007
13 years 6 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
SIGPRO
2008
13 years 6 months ago
2008
This paper describes a technique for automatic recognition of off-line printed Arabic text using Hidden Markov Models. In this work different sizes of overlapping and non-overlapp...
WWW
2001
ACM
14 years 7 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...