4609 search results - page 564 / 922 » Automatic Generation of Sigma-Protocols |
188
click to vote
ICCPOL
2009
Springer
16 years 1 months ago
2009
Springer
It is very significant in the knowledge society to accumulate spoken documents on the web. However, because of the high redundancy of spontaneous speech, the transcribed text in i...
154
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a new evolutionary method for generating ANNs. In this method, a simple real-number string is used to codify both architecture and weights of the networks. Ther...
171
Voted
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
182
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
174
click to vote
DMSN
2009
ACM
16 years 1 months ago
2009
ACM
Creating statistics from sporting events is now widespread with most efforts to automate this process using various sensor devices. The problem with many of these statistical app...