3909 search results - page 287 / 782 » Extreme Model Checking |
170
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
—A new application of the NN ensemble approach is presented. It is applied to NN emulations of model physics in complex numerical climate models, and aimed at improving the accur...
155
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
As interconnect feature sizes continue to scale to smaller dimensions, long interconnect can dominate the IC timing performance, but the interconnect parameter variations make it ...
165
click to vote
ACSE
1997
ACM
15 years 10 months ago
1997
ACM
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...
157
click to vote
NIPS
2007
15 years 8 months ago
2007
Computational models of visual cortex, and in particular those based on sparse coding, have enjoyed much recent attention. Despite this currency, the question of how sparse or how...
163
click to vote
WSC
2001
15 years 8 months ago
2001
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...