242 search results - page 18 / 49 » Verification via Structure Simulation |
103
Voted
UAI
2008
14 years 11 months ago
2008
Identifying co-varying causal elements in very high dimensional feature space with internal structures, e.g., a space with as many as millions of linearly ordered features, as one...
74
Voted
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
15 years 7 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
78
Voted
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Decision trees, being human readable and hierarchically structured, provide a suitable mean to derive state-space abstraction and simplify the inclusion of the availabl...
66
Voted
CSDA
2007
14 years 10 months ago
2007
Nonlinear random effects models with finite mixture structures are used to identify polymorphism in pharmacokinetic/ pharmacodynamic (PK/PD) phenotypes. An EM algorithm for maxim...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...