1901 search results - page 26 / 381 » Predicting Program Properties from |
103
click to vote
CGO
2008
IEEE
15 years 5 months ago
2008
IEEE
The recent trend in the processor industry of packing multiple processor cores in a chip has increased the importance of automatic techniques for extracting thread level paralleli...
109
click to vote
ICFP
2012
ACM
13 years 1 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...
SAC
2004
ACM
15 years 4 months ago
2004
ACM
Most of the complexity of common data mining tasks is due to the unknown amount of information contained in the data being mined. The more patterns and correlations are contained ...
ICDM
2003
IEEE
15 years 4 months ago
2003
IEEE
Privacy is becoming an increasingly important issue in many data mining applications. This has triggered the development of many privacy-preserving data mining techniques. A large...