5387 search results - page 638 / 1078 » Generating generic functions |
176
click to vote
IS
2010
15 years 5 months ago
2010
Given a hypergraph and a set of embedded functional dependencies, we investigate the problem of determining the conditions under which we can efficiently generate redundancy-free ...
202
click to vote
NAR
2010
15 years 1 months ago
2010
Generation of syntactically correct and unambiguous names for proteins is a challenging, yet vital task for functional annotation processes. Proteins are often named based on homo...
198
click to vote
STOC
2010
ACM
16 years 4 months ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
207
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
In this paper, we present novel techniques that improve the computational and memory efficiency of algorithms for solving multi-label energy functions arising from discrete MRFs o...
201
click to vote
DATE
2010
IEEE
16 years 1 days ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...