3909 search results - page 356 / 782 » Extreme Model Checking |
131
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a class of alternative stochastic volatility models for electricity prices using the quantile function modeling approach. Specifically, we fit marginal distributions ...
130
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
167
click to vote
SIGGRAPH
1997
ACM
15 years 8 months ago
1997
ACM
We describe an improved, anatomically based approach to modeling and animating animals. Underlying muscles, bones, and generalized tissue are modeled as triangle meshes or ellipso...
130
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
Proteases play a fundamental role in the control of intra- and extracellular processes by binding and cleaving specific amino acid sequences. Identifying these targets is extremel...
127
Voted
BC
2005
15 years 4 months ago
2005
The spinal neural networks of larval zebrafish (Danio rerio) generate a variety of movements such as escape, struggling, and swimming. Various mechanisms at the neural and network ...