1465 search results - page 176 / 293 » Making the Correct Mistakes |
155
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
180
click to vote
PODC
1999
ACM
15 years 10 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
172
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
169
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
163
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
Commercial OCR packages work best with highquality scanned images. They often produce poor results when the image is degraded, either because the original itself was poor quality,...