Sciweavers

17920 search results - page 95 / 3584
» Recentering computer science
Sort
View
CSDA
2011
14 years 4 months ago
Simulation smoothing for state-space models: A computational efficiency analysis
William J. McCausland, Shirley Miller, Denis Pelle...
FSTTCS
2009
Springer
15 years 4 months ago
Randomness extractors -- applications and constructions
Randomness extractors are efficient algorithms which convert weak random sources into nearly perfect ones. While such purification of randomness was the original motivation for c...
Avi Wigderson
ITRUST
2004
Springer
15 years 3 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...