6693 search results - page 149 / 1339 » Methods of Automatic Algorithm Generation |
129
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
156
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
140
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
131
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes a new knowledge-based method for clustering metagenome short reads. The method incorporates biological knowledge in the clustering process, by means o...
142
click to vote
ICDM
2003
IEEE
15 years 10 months ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...