9521 search results - page 103 / 1905 » Compiling with continuations, continued |
ENTCS
2006
14 years 10 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
JOLLI
2006
14 years 10 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
MSCS
2006
14 years 10 months ago
2006
Abstract. Lipschitz continuity is used as a tool for analyzing the relationship between incomputability and randomness. Having presented a simpler proof of one of the major results...
AMC
2005
14 years 10 months ago
2005
The behavior of the simplest forest fire model is studied in this paper through bifurcation analysis. The model is a second-order continuous-time impact model where vegetational g...
101
click to vote
VC
2008
14 years 10 months ago
2008
We present an efficient approach to reduce the number of elementary tests for continuous collision detection between rigid and deformable models. Our algorithm exploits the connect...