3238 search results - page 50 / 648 » Multi-return function call |
116
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Brightness values of pixels in an image are related to image irradiance by a non-linear function, called the radiometric response function. Recovery of this function is i...
123
Voted
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
123
Voted
AEI
2002
15 years 2 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
102
click to vote
CORR
2008
Springer
15 years 23 days ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
120
click to vote
IDA
2010
Springer
15 years 21 days ago
2010
Springer
In this paper we introduce three alternative combinatorial formulations of the theory of evidence (ToE), by proving that both plausibility and commonality functions share the stru...