4743 search results - page 122 / 949 » Introduction to Functional Programming |
140
click to vote
IPCO
2010
15 years 9 days ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
118
click to vote
CORR
2008
Springer
15 years 2 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...
130
click to vote
DC
2010
15 years 2 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...
104
click to vote
IJBI
2010
14 years 9 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, ...
111
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...