4752 search results - page 57 / 951 » From computation models to models of provenance: the RWS app... |
SGAI
2009
Springer
14 years 3 months ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...
ARTMED
2006
13 years 9 months ago
2006
We address the task of inducing explanatory models from observations and knowledge about candidate biological processes, using the illustrative problem of modeling photosynthesis ...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
GCC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a discussion on Grids merging with the economy. Until now no clear notion and categorization exist in this area. Problem formulations of “economy grid” proj...
ICASSP
2011
IEEE
13 years 16 days ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...