9521 search results - page 72 / 1905 » Compiling with continuations, continued |
CGF
2002
14 years 9 months ago
2002
This paper introduces a fast continuous collision detection technique for polyhedral rigid bodies. As opposed to most collision detection techniques, the computation of the first ...
COMCOM
2002
14 years 9 months ago
2002
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the ef
CSL
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
ENTCS
2002
14 years 9 months ago
2002
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
MLQ
2000
14 years 9 months ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak