Sciweavers

396 search results - page 20 / 80
» Beyond the metric space model
Sort
View
QEST
2010
IEEE
13 years 5 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
HYBRID
2003
Springer
14 years 28 days ago
On the Causality of Mixed-Signal and Hybrid Models
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
Jie Liu, Edward A. Lee
CDC
2009
IEEE
221views Control Systems» more  CDC 2009»
13 years 11 months ago
Parametrization invariant covariance quantification in identification of transfer functions for linear systems
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
Tzvetan Ivanov, Michel Gevers
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
14 years 1 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
ICASSP
2011
IEEE
12 years 11 months ago
Theoretical analyses on a class of nested RKHS's
One of central topics of kernel machines in the field of machine learning is a model selection, especially a selection of a kernel or its parameters. In our previous work, we dis...
Akira Tanaka, Hideyuki Imai, Mineichi Kudo, Masaak...