221 search results - page 17 / 45 » Modeling Interconnect Variability Using Efficient Parametric... |
111
click to vote
WSC
2008
2008
Simulating order fulfillment and supply planning for a vertically aligned industry solution business
15 years 4 months ago
We model supply chain of an industry solution equipment manufacturer, where the merchandise is sold worldwide, but suppliers are mostly located in Asia. The preferred shipment of ...
149
click to vote
SADM
2010
14 years 9 months ago
2010
This paper is concerned with classifying high dimensional data into one of two categories. In various settings, such as when dealing with fMRI and microarray data, the number of v...
146
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
109
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
119
click to vote
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
AODE (Aggregating One-Dependence Estimators) is considered one of the most interesting representatives of the Bayesian classifiers, taking into account not only the low error rate...