1667 search results - page 89 / 334 » Extended clause learning |
117
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
108
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
118
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We consider the least-square regression problem with regularization by a block 1-norm, that is, a sum of Euclidean norms over spaces of dimensions larger than one. This problem, r...
132
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...
119
Voted
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...