1686 search results - page 5 / 338 » Higher Order Deforestation |
112
click to vote
FOSSACS
2011
Springer
14 years 1 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
TIP
2010
14 years 8 months ago
2010
Abstract— Our main goal in this paper is to set the foundations of a general continuous-domain framework for designing steerable, reversible signal transformations (a.k.a. frames...
SIAMSC
2011
14 years 4 months ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...
105
click to vote
SIAMMAX
2011
14 years 13 days ago
2011
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
ENTCS
2002
14 years 9 months ago
2002