6894 search results - page 132 / 1379 » Generation Problems |
217
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
178
click to vote
AIPS
2010
15 years 6 months ago
2010
We present a planning domain that encodes the problem of generating natural language sentences. This domain has a number of features that provoke fairly unusual behavior in planne...
164
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
173
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Loop tiling is an important compiler transformation used for enhancing data locality and exploiting coarsegrained parallelism. Tiled codes in which tile sizes are runtime...
171
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...