2683 search results - page 160 / 537 » Machine learning problems from optimization perspective |
148
Voted
PVLDB
2010
15 years 1 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
120
Voted
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
The core vector machine (CVM) is a recent approach for scaling up kernel methods based on the notion of minimum enclosing ball (MEB). Though conceptually simple, an efficient impl...
118
Voted
ECML
2004
Springer
15 years 8 months ago
2004
Springer
Support Vector Machines (SVM) have been extensively studied and have shown remarkable success in many applications. However the success of SVM is very limited when it is applied to...
118
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
149
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the constraint satisfaction problem (CSP), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost hom...