5615 search results - page 372 / 1123 » On the Computational Capabilities of Several Models |
197
click to vote
HPCA
2006
IEEE
16 years 8 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
211
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
199
click to vote
IDA
2003
Springer
16 years 24 days ago
2003
Springer
This paper tackles the problem of model complexity in the context of additive models. Several methods have been proposed to estimate smoothing parameters, as well as to perform var...
196
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
221
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...