202 search results - page 16 / 41 » Improving the Global Constraint SoftPrec |
111
click to vote
CP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
111
Voted
CASES
2005
ACM
15 years 1 months ago
2005
ACM
Customisable embedded processors are becoming available on the market, thus making it possible for designers to speed up execution of applications by using Application-specific F...
130
click to vote
CP
2010
Springer
14 years 10 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...
124
click to vote
EMNLP
2007
15 years 1 months ago
2007
Reordering model is important for the statistical machine translation (SMT). Current phrase-based SMT technologies are good at capturing local reordering but not global reordering...
WWW
2008
ACM
16 years 11 days ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...