Sciweavers

2189 search results - page 219 / 438
» A Graded Applicability of Rules
Sort
View
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 9 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal
IJON
2006
111views more  IJON 2006»
13 years 9 months ago
Dynamic pruning algorithm for multilayer perceptron based neural control systems
Generalization ability of neural networks is very important and a rule of thumb for good generalization in neural systems is that the smallest system should be used to fit the tra...
Jie Ni, Qing Song
CORR
2007
Springer
151views Education» more  CORR 2007»
13 years 9 months ago
The algebraicity of the lambda-calculus
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
André Hirschowitz, Marco Maggesi
SIGPRO
2002
75views more  SIGPRO 2002»
13 years 9 months ago
Statistical detection of defects in radiographic images in nondestructive testing
In this paper, we investigate applicability of statistical techniques for defect detection in radiographic images of welds. The defect detection procedure consists in a statistica...
Ivan G. Kazantsev, Ignace Lemahieu, G. I. Salov, R...
TII
2010
155views Education» more  TII 2010»
13 years 4 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin