4167 search results - page 373 / 834 » Evolutionary functional testing |
123
click to vote
WCE
2007
15 years 5 months ago
2007
— This paper presents an energy back-propagation algorithm (EBP). Learning and convergence processes of the standard backpropagation algorithm (SBP) are based on the energy funct...
149
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...
136
Voted
FUIN
2006
15 years 4 months ago
2006
In this paper we derive the bounds for Validation (known also as Hold-Out Estimate and Train-and-Test Method). We present the best possible bound in the case of 0-1 valued loss fun...
143
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
139
Voted
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...