Sciweavers

16430 search results - page 490 / 3286
» On Computable Tree Functions
Sort
View
CSC
2006
15 years 8 months ago
Analytical solution of problems in heat transfer for pyramidal spines using Computer Algebra
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
Juan Felipe Paschke, Juan Ospina
LFP
1992
78views more  LFP 1992»
15 years 8 months ago
A Syntactic Approach to Fixed Point Computation on Finite Domains
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
Tyng-Ruey Chuang, Benjamin Goldberg
201
Voted
CVPR
2005
IEEE
16 years 9 months ago
Determining the Radiometric Response Function from a Single Grayscale Image
A method is presented for computing the radiometric response function of a camera from a single grayscale image. While most previous techniques require a set of registered images ...
Stephen Lin, Lei Zhang
ITCC
2005
IEEE
16 years 16 days ago
Conversion and Proxy Functions for Symmetric Key Ciphers
As a general design criterion, a symmetric key cipher should not be closed under functional composition due to the implications on the security of the cipher. However, there are s...
Debra L. Cook, Angelos D. Keromytis
DAC
1993
ACM
15 years 11 months ago
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions th...
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao...