827 search results - page 77 / 166 » Patterns for Timed Property Specifications |
222
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
120
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Database workloads seldom remain static. A system tuned by an expert for the current environment, might not always remain optimal. To deal with this situation, database systems ha...
130
Voted
EUROCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we analyze the statistical distribution of the keystream generator used by the stream ciphers RC4 and RC4A. Our first result is the discovery of statistical biases o...
119
click to vote
COGSCI
2007
15 years 3 months ago
2007
An expression-induction model was used to simulate the evolution of basic color terms to test Berlin and Kay’s (1969) hypothesis that the typological patterns observed in basic ...
130
click to vote
PR
2006
15 years 3 months ago
2006
In many pattern recognition applications, high-dimensional feature vectors impose a high computational cost as well as the risk of "overfitting". Feature Selection addre...