4959 search results - page 208 / 992 » Imperative Functional Programming |
105
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
120
Voted
AAAI
2006
15 years 4 months ago
2006
While computers have defeated the best human players in many classic board games, progress in Go remains elusive. The large branching factor in the game makes traditional adversar...
233
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
133
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Transmitting compressed data can reduce inter-processor communication traffic and create new opportunities for DVS (dynamic voltage scaling) in distributed embedded systems. Howe...
119
Voted
CIE
2007
Springer
15 years 8 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...