346 search results - page 14 / 70 » Toward a Model of Type Inheritance |
PROCEDIA
2010
13 years 7 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
AAECC
2007
Springer
13 years 8 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
IGARSS
2010
13 years 6 months ago
2010
The ASCAT scatterometer measures the backscatter from the ocean surface with which it infers the near-surface wind vector. When rain is present in the observation area the windind...
ESWS
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...