3228 search results - page 516 / 646 » Computationally Sound Proofs |
169
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
125
click to vote
RAID
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
149
click to vote
EICS
2009
ACM
16 years 28 days ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
168
click to vote
SOUPS
2009
ACM
16 years 28 days ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
155
click to vote
FOCS
2008
IEEE
16 years 26 days ago
2008
IEEE
What is the least surface area of a shape that tiles Rd under translations by Zd ? Any such shape must have volume 1 and hence surface area at least that of the volume-1 ball, nam...