4609 search results - page 603 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
188
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
We propose a hierarchical, unsupervised clustering algorithm (TreeGCS) based upon the Growing Cell Structure (GCS) neural network of Fritzke. Our algorithm improves an inconsisten...
163
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
187
click to vote
PKDD
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents an interactive discovery support system for the field of medicine. The intended users of the system are medical researchers. The goal of the system is: for a giv...
188
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...