9521 search results - page 330 / 1905 » Compiling with continuations, continued |
134
Voted
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
144
click to vote
Publication
We investigate the usability of an eye controlled writing interface that matches the nature of human eye gaze, which always moves and is not immediately able to trigger the selecti...
128
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
By reconstructing time-varying geometry one frame at a time, one ignores the continuity of natural motion, wasting useful information about the underlying video-image formation pr...
118
click to vote
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The lack of end-to-end quality of service support in the current Internet has caused significant difficulties to ensuring playback continuity in video streaming applications. This...
126
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...