3909 search results - page 352 / 782 » Extreme Model Checking |
142
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Menus are a primary control in current interfaces, but there has been relatively little theoretical work to model their performance. We propose a model of menu performance that go...
123
click to vote
IMSCCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
106
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
With the advent of carbon nanotube technology, evaluating circuit and system performance using these devices is becoming extremely important. In this paper, we propose a quasi-ana...
125
Voted
CGI
2003
IEEE
15 years 9 months ago
2003
IEEE
In contrast to the extensively researched modeling of plant architecture, the modeling of plant organs largely remains an open problem. In this paper, we propose a method for mode...
178
click to vote
IRREGULAR
1997
Springer
15 years 8 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...