8197 search results - page 296 / 1640 » Adaptive functional programming |
163
Voted
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
201
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
326
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a fast algorithm for smooth digital elevation model interpolation and approximation from scattered elevation data. The global surface is reconstructed by subdi...
140
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
151
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
In recent work we have developed a novel approach to the design and implementation of an online portal (ePortal) to help application engineers find replacements for electronic par...