11066 search results - page 328 / 2214 » Linearity in Process Languages |
151
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
173
Voted
CAV
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
141
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We study a stochastic control problem where the state process is described by a stochastic differential equation driven by a Brownian motion and a Poisson random measure, being af...
177
click to vote
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
A novel algorithm is introduced that can detect the presence of interpolation in images prior to compression as well as estimate the interpolation factor. The interpolation detect...
107
click to vote
MODELS
2009
Springer
16 years 18 days ago
2009
Springer
ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige ...