3424 search results - page 459 / 685 » Automated Testing of Classes |
152
click to vote
ENTCS
2007
15 years 4 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...
148
click to vote
NGC
2008
Springer
15 years 4 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...
162
Voted
PR
2006
15 years 4 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 ...
108
click to vote
AMC
2005
15 years 4 months ago
2005
A class of efficient preconditioners based on Daubechies family of wavelets for sparse, unsymmetric linear systems that arise in numerical solution of Partial Differential Equatio...
125
click to vote
JSCIC
2007
15 years 4 months ago
2007
In this paper, we examine some computational issues on finite element discretization of the p-Laplacian. We introduced a class of descent methods with multi-grid finite element ...