4167 search results - page 13 / 834 » Regression model checking |
IPL
2006
13 years 8 months ago
2006
We investigate the path model checking problem for the
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a new machine learning approach for 3D-QSAR, the task of predicting binding affinities of molecules to target proteins based on 3D structure. Our approach predicts bind...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Typical music emotion classification (MEC) approaches categorize emotions and apply pattern recognition methods to train a classifier. However, categorized emotions are too ambigu...