2940 search results - page 13 / 588 » Relational Parametricity and Control |
128
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
156
Voted
CDC
2009
IEEE
15 years 7 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-...
140
Voted
TSP
2012
13 years 11 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...
120
Voted
SAGA
2009
Springer
15 years 10 months ago
2009
Springer
112
Voted
CORR
2010
Springer
15 years 3 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...