5863 search results - page 176 / 1173 » Calculating Functional Programs |
157
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
179
Voted
DC
2010
15 years 6 months ago
2010
Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends...
145
click to vote
IJBI
2010
15 years 1 months ago
2010
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
128
click to vote
ICMCS
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper, an efficient cost function for mode decision in H.264/AVC is proposed. The proposed cost function is based on integer transform coefficients, where the rate and the...
159
click to vote
IJCAI
1993
15 years 7 months ago
1993
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...