493 search results - page 30 / 99 » types 1998 |
CAV
1998
Springer
15 years 4 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
DL
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we present DIAMS, a system of distributed,collaborative information agents which help users access, collect, organize and exchange information on the World Wide Web...
101
click to vote
ECML
1998
Springer
15 years 4 months ago
1998
Springer
: Image understanding often requires extensive background knowledge. The problem addressed in this paper is such knowledge can be acquired. We discuss how relational machine learni...
EPS
1998
Springer
15 years 4 months ago
1998
Springer
This paperpresentsa new approachto the evolutionof neuralnetworks. A linear chromosome combined with a grid-based representation of the network and a new crossover operator allow t...
100
click to vote
FSE
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...