4609 search results - page 785 / 922 » Automatic Generation of Sigma-Protocols |
174
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
169
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
163
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
158
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
210
click to vote
EWCBR
2000
Springer
15 years 9 months ago
2000
Springer
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...