Sciweavers

2723 search results - page 4 / 545
» Learning lexicographic orders
Sort
View
PRL
2008
54views more  PRL 2008»
14 years 11 months ago
On lexicographical ordering in multivariate mathematical morphology
Erchan Aptoula, Sébastien Lefèvre
FROCOS
2007
Springer
15 years 5 months ago
Proving Termination Using Recursive Path Orders and SAT Solving
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
Peter Schneider-Kamp, René Thiemann, Elena ...
ICML
2008
IEEE
15 years 12 months ago
Democratic approximation of lexicographic preference models
Previous algorithms for learning lexicographic preference models (LPMs) produce a "best guess" LPM that is consistent with the observations. Our approach is more democra...
Fusun Yaman, Thomas J. Walsh, Michael L. Littman, ...