2191 search results - page 319 / 439 » Evolutionary testing of classes |
103
Voted
INFORMATICALT
2006
15 years 3 months ago
2006
Three parallel algorithms for solving the 3D problem with nonlocal boundary condition are considered. The forward and backward Euler finite-difference schemes, and LOD scheme are t...
102
click to vote
JSCIC
2008
15 years 3 months ago
2008
In this work we consider a new class of Relaxation Finite Element schemes for Conservation Laws, with more stable behavior on the limit area of the relaxation parameter. Combine t...
142
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
137
Voted
NGC
2008
Springer
15 years 3 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
149
Voted
PR
2006
15 years 3 months ago
2006
This paper describes an algorithm for the determination of zone content type of a given zone within a document image. We take a statistical based approach and represent each zone ...