2723 search results - page 2 / 545 » Learning lexicographic orders |
ESA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We relate Kamin and L
74
Voted
CPAIOR
2006
Springer
15 years 1 months ago
2006
Springer
The lexicographically-ordered CSP ("lexicographic CSP" for short) combines a simple representation of preferences with the feasibility constraints of ordinary CSPs. Prefe...
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We introduce a new global constraint which combines together the lexicographic ordering constraint with two sum constraints. Lexicographic ordering constraints are freque...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...