6274 search results - page 613 / 1255 » Proofs, Programs, Processes |
178
click to vote
CSB
2005
IEEE
16 years 26 days ago
2005
IEEE
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...
202
Voted
CC
2005
Springer
16 years 24 days ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
201
click to vote
ECAI
2004
Springer
16 years 19 days ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
210
click to vote
VL
2003
IEEE
16 years 15 days ago
2003
IEEE
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...
172
click to vote
ICES
2003
Springer
16 years 14 days ago
2003
Springer
A review is given of approaches to growing neural networks and electronic circuits. A new method for growing graphs and circuits using a developmental process is discussed. The met...