536 search results - page 31 / 108 » A Translational Approach to Constraint Answer Set Solving |
153
click to vote
EMNLP
2006
15 years 3 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
151
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
COLING
2010
14 years 9 months ago
2010
This paper proposes a novel semisupervised word alignment technique called EMDC that integrates discriminative and generative methods. A discriminative aligner is used to find hig...
102
click to vote
CP
1995
Springer
15 years 5 months ago
1995
Springer
We present a method for finding optimal partial solutions to overconstrained instances of the Disjunctive Temporal Problems (DTP). The solutions are optimal in that they satisfy ...
128
Voted
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We present a novel approach to compute collisionfree paths for multiple robots subject to local coordination constraints. More specifically, given a set of robots, the...