Sciweavers

1809 search results - page 138 / 362
» Weakly Computable Real Numbers
Sort
View
FM
2003
Springer
94views Formal Methods» more  FM 2003»
15 years 9 months ago
On Failures and Faults
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
Brian Randell
WWW
2005
ACM
16 years 5 months ago
A convenient method for securely managing passwords
Computer users are asked to generate, keep secret, and recall an increasing number of passwords for uses including host accounts, email servers, e-commerce sites, and online finan...
J. Alex Halderman, Brent Waters, Edward W. Felten
RECOMB
2005
Springer
16 years 4 months ago
Improved Recombination Lower Bounds for Haplotype Data
Recombination is an important evolutionary mechanism responsible for the genetic diversity in humans and other organisms. Recently, there has been extensive research on understandi...
Vineet Bafna, Vikas Bansal
SAC
2005
ACM
15 years 9 months ago
An information theoretic histogram for single dimensional selectivity estimation
: We study the problem of one dimensional selectivity estimation in relational databases. We introduce a new type of histogram based on information theory. We compare our histogram...
Chris Giannella, Bassem Sayrafi
RT
2001
Springer
15 years 8 months ago
Image-Based Reconstruction of Spatially Varying Materials
The measurement of accurate material properties is an important step towards photorealistic rendering. Many real-world objects are composed of a number of materials that often show...
Hendrik P. A. Lensch, Michael Goesele, Jan Kautz, ...