9521 search results - page 1440 / 1905 » Compiling with continuations, continued |
181
click to vote
IJAMC
2008
15 years 6 months ago
2008
Educational Multimedia (EMM) is becoming a mature and integral part of teaching and learning systems, mainly due to its ability improve teaching and learning. However, EMM selecti...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
162
click to vote
EOR
2006
15 years 6 months ago
2006
Previous work on the dynamics of bucket brigades has focused on systems in which workers can be ordered with respect to their speeds and where this ordering does not change throug...
200
Voted
IJCV
2008
15 years 6 months ago
2008
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a straight or a mildly curved path and a sa...