4609 search results - page 806 / 922 » Automatic Generation of Sigma-Protocols |
167
click to vote
WSC
1997
15 years 7 months ago
1997
This article discusses implementation issues for the LBATCH and ABATCH batch means procedures of Fishman and Yarberry (1997). Theses procedures dynamically increase the batch size...
134
click to vote
AAAI
1996
15 years 7 months ago
1996
We describe Occam, a query planning algorithm that determines the best way to integrate data from dierent sources. As input, Occam takes a library of site descriptions and a user ...
137
click to vote
ANLP
1994
15 years 7 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...
195
click to vote
ISMB
1994
15 years 7 months ago
1994
The automatic generation of drawings of metabolic pathways is a challenging problem that depends intimately on exactly what information has been recorded for each pathway, and on ...
208
click to vote
NIPS
1993
15 years 7 months ago
1993
The non-linear complexities of neural networks make network solutions difficult to understand. Sanger's contribution analysis is here extended to the analysis of networks aut...