709 search results - page 53 / 142 » An Equational Theory for Transactions |
145
click to vote
UMC
2000
15 years 2 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
VLSM
2005
Springer
15 years 4 months ago
2005
Springer
We develop a fast numerical method to approximate the solutions of a wide class of equations associated to the Shape From Shading problem. Our method, which is based on the control...
89
Voted
VISUALIZATION
2000
IEEE
15 years 3 months ago
2000
IEEE
A new multiscale method in surface processing is presented here which combines the image processing methodology based on nonlinear diffusion equations and the theory of geometric ...
111
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...