691 search results - page 92 / 139 » Equational Abstractions |
112
click to vote
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In 1985 Fell and Diffie proposed constructing trapdoor functions with multivariate equations [11]. They used several sequentially solved stages. Another idea of building ...
147
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
142
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
135
click to vote
SCALESPACE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...
118
click to vote
LISP
2006
15 years 3 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...