2008 search results - page 97 / 402 » Computing with Equations |
LFP
1990
13 years 10 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
SIAMAM
2010
13 years 7 months ago
2010
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
In this paper we describe a GPU parallelization of the 3D finite difference computation using CUDA. Data access redundancy is used as the metric to determine the optimal implement...
CMPB
2008
13 years 7 months ago
2008
Recently, in a series of papers, a method based on pseudo-values has been proposed for direct regression modeling of the survival function, the restricted mean and cumulative inci...
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
We address the issue of regularizing Osher and Rudin's shock filter, used for image deblurring, in order to allow processes that are more robust against noise. Previous soluti...