1365 search results - page 131 / 273 » Maximal Causality Analysis |
138
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
142
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
134
click to vote
IWANN
1995
Springer
15 years 9 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...
125
click to vote
TACAS
1995
Springer
15 years 9 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
132
Voted
ICMLA
2007
15 years 6 months ago
2007
Dynamic programming is introduced to quantize a continuous random variable into a discrete random variable. Quantization is often useful before statistical analysis or reconstruct...