4485 search results - page 737 / 897 » Equivalences on Observable Processes |
125
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
156
Voted
CHES
2006
Springer
15 years 7 months ago
2006
Springer
The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despit...
128
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We study the novel problem of efficiently computing the update distance for a pair of relational databases. In analogy to the edit distance of strings, we define the update distan...
128
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
133
Voted
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...