95 search results - page 10 / 19 » Simulation Preorder over Simple Process Algebras |
WSC
2007
13 years 10 months ago
2007
The NNSA’s Y-12 National Security Complex is a manufacturing facility operated by BWXT Y-12. Y-12’s missions include ensuring the US’ nuclear weapons deterrent, storing nucl...
ICML
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
ECML
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
ICASSP
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper studies compressed sensing for the recovery of non-negative sparse vectors from a smaller number of measurements than the ambient dimension of the unknown vector. We fo...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we propose a fast image deconvolution algorithm that combines adaptive block thresholding and Vaguelet-Wavelet Decomposition. The approach consists in first denoisi...