1246 search results - page 178 / 250 » Recursive Timed Automata |
138
Voted
SIGPRO
2008
15 years 2 months ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...
102
Voted
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
104
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
122
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
113
click to vote
ENTCS
2007
15 years 2 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...