322 search results - page 42 / 65 » Satisfiability Coding Lemma |
INLG
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
ICASSP
2011
IEEE
13 years 3 days ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
ICPADS
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the major factors that can potentially slow down widespread use of embedded chip multiprocessors is lack of efficient software support. In particular, automated code paral...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
EUROMICRO
1998
IEEE
14 years 27 days ago
1998
IEEE
With the growing needs of information sharing and exchange, MHEG-6(Multimedia Hypermedia information coding Expert Group - part 6) standard is defined so as to provide the interna...