2940 search results - page 13 / 588 » Relational Parametricity and Control |
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
108
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
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-...
TSP
2012
13 years 5 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
73
Voted
SAGA
2009
Springer
15 years 4 months ago
2009
Springer
69
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...