1687 search results - page 189 / 338 » Light Functional Interpretation |
157
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
161
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a method for robust kernel density estimation. We interpret a KDE with Gaussian kernel as the inner product between a mapped test point and the centroid ...
193
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
194
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. The modeling rigorously explains all model assumpt...
178
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...