4451 search results - page 554 / 891 » Continuous model synthesis |
209
click to vote
DASFAA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract. In emerging data stream applications, data sources are typically distributed. Evaluating multi-join queries over streams from different sources may incur large communica...
188
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
146
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
139
click to vote
LSSC
2005
Springer
16 years 10 days ago
2005
Springer
We propose a new class of Discontinuous Galerkin (DG) methods based on variational multiscale ideas. Our approach begins with an additive decomposition of the discontinuous finite...
188
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...