1687 search results - page 189 / 338 » Light Functional Interpretation |
143
click to vote
CDC
2008
IEEE
16 years 27 days 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...
150
click to vote
ICASSP
2008
IEEE
16 years 26 days 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 ...
182
click to vote
ICONS
2008
IEEE
16 years 26 days 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 ...
179
click to vote
ICRA
2008
IEEE
16 years 26 days 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...
167
click to vote
LICS
2008
IEEE
16 years 24 days 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...