21319 search results - page 288 / 4264 » An Approach for Method Reengineering |
152
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Existing skeletonization methods operate directly on the binary image ignoring the gray-level information. In this paper we propose a new method for the skeletonization of handwri...
144
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a novel data scaling method for pipelined FFT processors is proposed. By using data scaling, the'FFT processor can operateon a wide range of input signals with...
148
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
176
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
Ordering principles of digital libraries expressed in ontologies may be highly heterogeneous even within a domain and especially over different cultures. Automatic methods for mapp...
218
click to vote
ISOOMS
1994
15 years 10 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...