4117 search results - page 266 / 824 » On the Satisfiability of Complex Constraints |
193
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
207
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
157
click to vote
BMVC
2002
15 years 9 months ago
2002
In recent work the authors proposed a wide-ranging method for estimating parameters that constrain image feature locations and satisfy a constraint not involving image data. The p...
185
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
A new outer bound on the capacity region of Gaussian interference channels is developed. The bound combines and improves existing genie-aided methods and is shown to give the sum-r...
175
click to vote
ACL
2004
15 years 8 months ago
2004
Aligning words from sentences which are mutual translations is an important problem in different settings, such as bilingual terminology extraction, Machine Translation, or projec...