21319 search results - page 151 / 4264 » An Approach for Method Reengineering |
125
Voted
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
110
click to vote
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...
129
Voted
COMPUTING
2007
15 years 3 months ago
2007
Hierarchical matrices (H-matrices) approximate matrices in a data-sparse way, and the approximate arithmetic for H-matrices is almost optimal. In this paper we present an algebrai...
126
click to vote
PRL
2006
15 years 3 months ago
2006
In this paper, we present a wavelet based approach which tries to automatically find the number of clusters present in a data set, along with their position and statistical proper...
123
Voted
TSMC
2008
15 years 3 months ago
2008
: Automatic identification of genes has been an actively researched area of Bioinformatics. Compared to earlier attempts for finding genes, the recent techniques are significantly ...