2723 search results - page 2 / 545 » Learning lexicographic orders |
ESA
2007
Springer
13 years 11 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
13 years 9 months ago
2006
Springer
Abstract. We relate Kamin and L
CPAIOR
2006
Springer
13 years 9 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
13 years 11 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
13 years 11 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...