6693 search results - page 368 / 1339 » Methods of Automatic Algorithm Generation |
189
click to vote
DIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
173
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract--SUDA2 is a recursive search algorithm for Minimal Unique Itemset detection. Such sets of items are formed via combinations of non-obvious attributes enabling individual r...
208
click to vote
JCB
2006
15 years 6 months ago
2006
Genome-wide microarray designs containing millions to hundreds of millions of probes are available for a variety of mammals, including mouse and human. These genome tiling arrays ...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 10 hour ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
196
click to vote
CVIU
2008
15 years 6 months ago
2008
Image segmentation is an important processing step in many image, video and computer vision applications. Extensive research has been done in creating many different approaches an...