1064 search results - page 110 / 213 » Neuro-Wavelet Parametric Modeling |
111
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
BC
2004
15 years 17 days ago
2004
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...
100
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
89
Voted
RECOMB
2010
Springer
15 years 2 months ago
2010
Springer
Immense amounts of raw instrument data (i.e., images of fluorescence) are currently being generated using ultra high-throughput sequencing platforms. An important computational cha...
98
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract—This work develops a discrete-time dynamical feedback system model for a simplified TCP network with RED control and provides a nonlinear analysis that can help in unde...