9521 search results - page 85 / 1905 » Compiling with continuations, continued |
147
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
145
click to vote
SSD
2007
Springer
16 years 12 days ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
145
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
We present a new framework for robust 3D tracking, using a dynamic data driven coupling of continuous and discrete methods to overcome their limitations. Our method uses primarily ...
148
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we address the physical parallelization of a very efficient genetic algorithm (GA) known as gradual distributed real-coded GA (GD-RCGA). This search model naturally...
161
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We present a novel approach for summarizing video in the form of a multiscale image that is continuous in both the spatial domain and across the scale dimension: There are no hard...