4352 search results - page 59 / 871 » A Representation Theorem and Applications |
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a new and low-cost approach for identifying sequentially untestable faults. Unlike the single fault theorem, where the stuck-at fault is injected only in the r...
107
click to vote
EUROGP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
92
Voted
AML
2010
15 years 25 days ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
72
Voted
JCT
2008
15 years 20 days ago
2008
Abstract. The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that k-color...
110
Voted
RAS
2006
15 years 18 days ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...