Sciweavers

4167 search results - page 489 / 834
» Evolutionary functional testing
Sort
View
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 6 months ago
The intersection and the union of the asynchronous systems
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...
Serban E. Vlad
JCP
2008
138views more  JCP 2008»
15 years 6 months ago
Radar Signal Detection In Non-Gaussian Noise Using RBF Neural Network
In this paper, we suggest a neural network signal detector using radial basis function (RBF) network. We employ this RBF Neural detector to detect the presence or absence of a know...
Dilip Gopichand Khairnar, S. N. Merchant, Uday B. ...
COMBINATORICS
2004
102views more  COMBINATORICS 2004»
15 years 6 months ago
Satisfiability and Computing van der Waerden Numbers
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
Michael R. Dransfield, Lengning Liu, Victor W. Mar...
ENTCS
2007
126views more  ENTCS 2007»
15 years 6 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
INFORMATICALT
2002
91views more  INFORMATICALT 2002»
15 years 6 months ago
Bayesian Heuristic Approach to Scheduling
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
Jonas Mockus