4719 search results - page 117 / 944 » Spreadsheet functional programming |
119
Voted
IPCO
2010
14 years 10 months 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...
97
Voted
CORR
2008
Springer
15 years 25 days 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...
111
click to vote
DC
2010
15 years 25 days 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...
92
Voted
IJBI
2010
14 years 7 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, ...
94
Voted
ICFP
2008
ACM
16 years 21 days 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...