3713 search results - page 267 / 743 » Constructing a Calculus of Programs |
110
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...
129
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
126
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
167
click to vote
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
152
click to vote
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...