564 search results - page 99 / 113 » Proof General: A Generic Tool for Proof Development |
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
227
click to vote
POPL
2001
ACM
16 years 17 hour ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
127
click to vote
CRYPTO
2008
Springer
15 years 1 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
CCS
2011
ACM
13 years 11 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...