Sciweavers

3995 search results - page 46 / 799
» Linearization of hybrid processes
Sort
View
86
Voted
AUTOMATICA
2010
63views more  AUTOMATICA 2010»
15 years 3 months ago
On guaranteed parameter estimation of a multiparameter linear regression process
Uwe Küchler, Vyacheslav A. Vasiliev
110
Voted
ACSD
2010
IEEE
216views Hardware» more  ACSD 2010»
15 years 1 months ago
A Linear Process-Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen, Jaco van de Pol, Mariëll...
94
Voted
CSDA
2011
14 years 10 months ago
Joint segmentation of multivariate Gaussian processes using mixed linear models
F. Picard, E. Lebarbier, E. Budinskà, S. Ro...
72
Voted
JISE
2010
71views more  JISE 2010»
14 years 10 months ago
An Efficient Architecture of Extended Linear Interpolation for Image Processing
Chung-Chi Lin, Ming-Hwa Sheu, Huann-Keng Chiang, C...
120
Voted
FROCOS
2005
Springer
15 years 9 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus