1458 search results - page 88 / 292 » The sequentially realizable functionals |
128
Voted
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
144
Voted
STOC
2003
ACM
16 years 3 months ago
2003
ACM
Many algorithms and data structures employing hashing have been analyzed under the uniform hashing assumption, i.e., the assumption that hash functions behave like truly random fu...
165
Voted
UCS
2007
Springer
15 years 9 months ago
2007
Springer
COMPASS is a location framework where location sources are realized as plugins that contribute probability density functions to the overall localization result. In addition, COMPAS...
130
click to vote
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
111
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...