2410 search results - page 39 / 482 » Multiset Ordering Constraints |
EMNLP
2008
15 years 5 months ago
2008
We introduce a method for solving substitution ciphers using low-order letter n-gram models. This method enforces global constraints using integer programming, and it guarantees t...
152
click to vote
JOLLI
2007
15 years 4 months ago
2007
This paper investigates whether the model of local rhetorical coherence suggested in Knott et al. (2001) can boost the performance of the Centering-based metrics of entity coheren...
226
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency...
170
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
136
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...