2119 search results - page 137 / 424 » Structure-Preserving Model Reduction |
113
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
119
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
144
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
Stationarity is often an unrealistic prior assumption for Gaussian process regression. One solution is to predefine an explicit nonstationary covariance function, but such covaria...
112
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
159
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...