6167 search results - page 122 / 1234 » Can Refinement be Automated |
129
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
170
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: In a high throughput setting, effective flow cytometry data analysis depends heavily on proper data preprocessing. While usual preprocessing steps of quality assessmen...
230
click to vote
ICDE
2000
IEEE
16 years 5 months ago
2000
IEEE
Statistics play a key role in influencing the quality of plans chosen by a database query optimizer. In this paper, we identify the statistics that are essential for an optimizer....
118
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Pattern recognition of objects on affinely distorted images based on moments is important task researched for many years. Affine moment invariants are significant tool for it. The...
122
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...