2838 search results - page 37 / 568 » Verifying Controlled Components |
135
click to vote
ICANN
2007
Springer
15 years 10 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 ...
167
click to vote
IPPS
2005
IEEE
15 years 10 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 ...
166
click to vote
CBSE
2008
Springer
15 years 6 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...
151
click to vote
ICTAC
2010
Springer
15 years 3 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
16 years 5 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...