9521 search results - page 320 / 1905 » Compiling with continuations, continued |
166
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
144
Voted
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
148
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
The window query model is widely used in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In this dissertation, ...
105
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
We examine the implications of shape on the process of finding dense correspondence and half-occlusions for a stereo pair of images. The desired property of the depth map is that ...
125
Voted
CIDR
2007
15 years 5 months ago
2007
In this paper, we investigate the benefits and challenges of integrating history into a near-real-time monitoring system; and present a general purpose continuous monitoring engi...