4167 search results - page 437 / 834 » Regression model checking |
240
click to vote
ICANN
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In many supervised learning tasks it can be costly or infeasible to obtain objective, reliable labels. We may, however, be able to obtain a large number of subjective, po...
229
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
200
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...
175
click to vote
BIOSYSTEMS
2007
15 years 7 months ago
2007
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
273
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Despite significant recent progress, the best available visual saliency models still lag behind human performance in predicting eye fixations in free-viewing of natural scenes. ...