879 search results - page 129 / 176 » Kolmogorov Complexity and Model Selection |
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
NPAR
2010
ACM
14 years 1 months ago
2010
ACM
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
CRYPTO
2001
Springer
14 years 1 months ago
2001
Springer
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
This volume is intended to help advance the field of artificial neural networks along the lines of complexity present in animal brains. In particular, we are interested in examin...
RTCSA
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...