1930 search results - page 117 / 386 » Learning to Solve QBF |
109
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
154
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...
135
Voted
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Canonical correlation analysis (CCA) is a powerful tool for analyzing multi-dimensional paired data. However, CCA tends to perform poorly when the number of paired samples is limit...
114
Voted
AAAI
2006
15 years 5 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
154
click to vote
IJCAI
2003
15 years 5 months ago
2003
In traditional text classification, a classifier is built using labeled training documents of every class. This paper studies a different problem. Given a set P of documents of a ...