8828 search results - page 273 / 1766 » Formal methods in practice |
227
click to vote
INDOCRYPT
2003
Springer
16 years 27 days ago
2003
Springer
A solution for obtaining impartial random values in on-line gambling is presented in this paper. Unlike most previous proposals, our method does not require any TTP and allows e-ga...
220
Voted
KBSE
2000
IEEE
16 years 2 days ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
200
Voted
ASSETS
2000
ACM
16 years 2 days ago
2000
ACM
Existing drawing tools for blind users give inadequate contextual feedback on the state of the drawing, leaving blind users unable to comprehend and successfully produce graphical...
227
click to vote
DL
1999
Springer
15 years 12 months ago
1999
Springer
Keyphrases provide semantic metadata that summarize and characterize documents. This paper describes Kea, an algorithm for automatically extracting keyphrases from text. Kea ident...
203
click to vote
KBSE
1997
IEEE
15 years 12 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...