1930 search results - page 130 / 386 » Learning to Solve QBF |
148
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
We consider a parallel decomposition technique for solving the large quadratic programs arising in training the learning methodology Support Vector Machine. At each iteration of th...
120
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
126
click to vote
EWCBR
1993
Springer
15 years 8 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
140
click to vote
CAEPIA
2009
Springer
15 years 5 months ago
2009
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, little is known about the fac...
121
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...