2838 search results - page 37 / 568 » Verifying Controlled Components |
ICANN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
CBSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper, we develop a new tool, called Component Analysis (CA), to study the significance of long Torah Code phrases. CA quantifies the relevance of such a phrase, by compar...