1930 search results - page 108 / 386 » Learning to Solve QBF |
119
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Nowadays, engineering studies are characterized by high mobility of students, lecturers and workforce and by the dynamics of multinational companies where "classes&q...
138
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
127
click to vote
AAAI
2008
15 years 6 months ago
2008
Blog classification (e.g., identifying bloggers' gender or age) is one of the most interesting current problems in blog analysis. Although this problem is usually solved by a...
124
Voted
FLAIRS
2007
15 years 6 months ago
2007
Problem solvers, both human and machine, have at their disposal many heuristics that may support effective search. The efficacy of these heuristics, however, varies with the probl...
164
Voted
NIPS
2007
15 years 5 months ago
2007
Learning the common structure shared by a set of supervised tasks is an important practical and theoretical problem. Knowledge of this structure may lead to better generalization ...