4959 search results - page 99 / 992 » Imperative Functional Programming |
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
100
click to vote
LICS
2005
IEEE
15 years 4 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
72
Voted
ICLP
1990
Springer
15 years 3 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
109
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...
80
Voted
GECCO
1999
Springer
15 years 3 months ago
1999
Springer
This paper demonstrates the ability of genetic programming to evolve analog circuits that perform digital functions and mixed analog-digital circuits. The evolved circuits include...