2914 search results - page 10 / 583 » Learning and Inference with Constraints |
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
AAAI
2000
13 years 8 months ago
2000
Human categorization research is dominated by work in classification learning. The field may be in danger of equating the classification learning paradigm with the more general ph...
JMLR
2010
13 years 2 months ago
2010
Various supervised inference methods can be analyzed as convex duals of the generalized maximum entropy (MaxEnt) framework. Generalized MaxEnt aims to find a distribution that max...