76 search results - page 9 / 16 » Automatic Feature Generation for Machine Learning Based Opti... |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
In many design tasks it is difficult to explicitly define an objective function. This paper uses machine learning to derive an objective in a feature space based on selected examp...
IJCAI
2007
13 years 9 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...
ESORICS
2011
Springer
12 years 7 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...