4609 search results - page 602 / 922 » Automatic Generation of Sigma-Protocols |
158
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
170
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
135
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We consider groups of autonomous robots in which robots can help each other by offering information-producing functionalities. A functional configuration is a way to allocate and c...
185
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Digital libraries have untapped potential for supporting language teaching and learning. Although the Internet at large is widely used for language education, it has critical disad...
161
Voted
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...