3446 search results - page 251 / 690 » A Reasoning Algorithm for pD* |
255
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
141
click to vote
DCC
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper we discuss the security of digital signature schemes based on error? correcting codes. Several attacks to the Xinmei scheme are surveyed, and some reasons given to e...
145
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We consider the problem of reconstructing a road network from a collection of path traces and provide guarantees on the accuracy of the reconstruction under reasonable assumptions...
171
click to vote
STOC
2009
ACM
16 years 9 days ago
2009
ACM
We propose a fully homomorphic encryption scheme – i.e., a scheme that allows one to evaluate circuits over encrypted data without being able to decrypt. Our solution comes in t...
154
Voted
ICARIS
2009
Springer
16 years 2 days ago
2009
Springer
AIRS is an immune-inspired supervised learning algorithm that has been shown to perform competitively on some common datasets. Previous analysis of the algorithm consists almost ex...