2750 search results - page 163 / 550 » Learning Efficient Parsing |
129
click to vote
JAIR
2008
15 years 3 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
135
Voted
JMLR
2002
15 years 3 months ago
2002
Cross-validation is a useful and generally applicable technique often employed in machine learning, including decision tree induction. An important disadvantage of straightforward...
131
Voted
SDM
2010
SIAM
15 years 1 months ago
2010
SIAM
The recent years have witnessed a surge of interests in Nonnegative Matrix Factorization (NMF) in data mining and machine learning fields. Despite its elegant theory and empirical...
159
Voted
IJCAI
1989
15 years 4 months ago
1989
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
130
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a novel online learning algorithm for the group lasso in order to efficiently find the important explanatory factors in a grouped manner. Different from traditional bat...