119 search results - page 9 / 24 » Towards Automated Synthesis of Data Mining Programs |
87
Voted
CLOUD
2010
ACM
15 years 4 months ago
2010
ACM
Timely and cost-effective processing of large datasets has become a critical ingredient for the success of many academic, government, and industrial organizations. The combination...
173
Voted
POPL
2002
ACM
15 years 12 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
93
Voted
DAC
2008
ACM
16 years 19 days ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
110
click to vote
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
Thousands of scientific conferences happen every year, and each involves a laborious scientific peer review process conducted by one or more busy scientists serving as Technical/Sc...