2410 search results - page 98 / 482 » Multiset Ordering Constraints |
153
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a new approach on combined highlevel synthesis and partitioning for FPGA-based multi-chip emulation systems. The goal is to synthesize a prototype with maximal...
144
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints th...
125
click to vote
COLING
1992
15 years 6 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
131
click to vote
ACISICIS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the problem of finding a feasible solution for the University Course Timetabling Problem (UCTP), i.e. a solution that satisfies all the so-called hard const...
148
click to vote
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose a symmetric stereo model to handle occlusion in dense two-frame stereo. Our occlusion reasoning is directly based on the visibility constraint that is mo...