9521 search results - page 282 / 1905 » Compiling with continuations, continued |
170
click to vote
HYBRID
2000
Springer
15 years 10 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...
138
click to vote
IVC
2007
15 years 6 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 ...
181
click to vote
ECCV
1994
Springer
16 years 8 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...
197
click to vote
ERSHOV
2006
Springer
15 years 10 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...
163
click to vote
CPAIOR
2005
Springer
16 years 5 days 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...