4609 search results - page 495 / 922 » Automatic Generation of Sigma-Protocols |
195
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
The Cambridge University Multimedia Document Retrieval Demo System is a web based application that allows the user to query a database of automatically generated transcripts of ra...
189
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents an enhancement of our "Algorithm Architecture Adequation" (AAA) prototyping methodology which allows to rapidly develop and optimize the implementati...
160
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
169
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
150
Voted
CG
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses a practical framework for the semi automatic construction of evaluation functions for games. Based on a structured evaluation function representation, a proced...