1686 search results - page 5 / 338 » Higher Order Deforestation |
156
Voted
FOSSACS
2011
Springer
14 years 7 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...
128
Voted
TIP
2010
15 years 1 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...
133
Voted
SIAMSC
2011
14 years 10 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...
153
Voted
SIAMMAX
2011
14 years 6 months 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...
103
Voted
ENTCS
2002
15 years 3 months ago
2002