8197 search results - page 431 / 1640 » Adaptive functional programming |
170
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
185
click to vote
IWFM
1998
15 years 8 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
186
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. The propose of this paper is to introduce a new regularization formulation for inverse problems in computer vision and image processing that allows one to reconstruct sec...
152
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
Multi-channel super-resolution is a means of recovering high frequency information by trading off the temporal bandwidth. Almost all the methods proposed in the literature are bas...
187
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
User Interface between user and information systems has a great role in system adoption. Based on technology acceptance model, acceptance of a system is explained as a function of...