9521 search results - page 282 / 1905 » Compiling with continuations, continued |
126
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
92
Voted
IVC
2007
15 years 3 months ago
2007
Energy minimizing contours or snakes are tools for delineating objects of interest in an image. Snakes are defined discretely or in continuous form with continuous snakes having ...
141
Voted
ECCV
1994
Springer
16 years 5 months ago
1994
Springer
Abstract. This paper de nes a temporal continuity constraint that expresses assumptions about the evolution of 2D image velocity, or optical ow, over a sequence of images. Temporal...
147
Voted
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
119
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...