1930 search results - page 167 / 386 » Learning to Solve QBF |
276
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Long-term persistent tracking in ever-changing environments is a challenging task, which often requires addressing difficult object appearance update problems. To solve them, most...
146
Voted
FLAIRS
2007
15 years 6 months ago
2007
Using information from failures to guide subsequent search is an important technique for solving combinatorial problems in domains such as boolean satisfiability (SAT) and constr...
143
Voted
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
111
Voted
AAAI
2010
15 years 5 months ago
2010
Multiple Kernel Learning (MKL) can be formulated as a convex-concave minmax optimization problem, whose saddle point corresponds to the optimal solution to MKL. Most MKL methods e...
153
Voted
LREC
2008
15 years 5 months ago
2008
Acquiring knowledge from the Web to build domain ontologies has become a common practice in the Ontological Engineering field. The vast amount of freely available information allo...