7092 search results - page 381 / 1419 » Parallelizing constraint programs |
156
click to vote
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we investigate an efficient off-line scheduling algorithm in which real-time tasks with precedence constraints are executed in a heterogeneous environment. It provi...
134
click to vote
EMNLP
2010
15 years 1 months ago
2010
In this paper, we present a novel approach to enhance hierarchical phrase-based machine translation systems with linguistically motivated syntactic features. Rather than directly ...
116
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
116
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
129
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...