Sciweavers

2607 search results - page 47 / 522
» Complete Functional Synthesis
Sort
View
113
Voted
COMBINATORICS
2002
69views more  COMBINATORICS 2002»
15 years 2 months ago
Spanning Trees and Function Classes
If G = Kn is the complete graph, the classical Pr
Jeffrey B. Remmel, S. G. Williamson
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
15 years 11 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
119
Voted
CSB
2005
IEEE
223views Bioinformatics» more  CSB 2005»
15 years 8 months ago
Automatic Protein Function Annotation through Candidate Ortholog Clusters from Incomplete Genomes
Annotation of protein function often arises in the context of partially complete genomes but is not adequately addressed. We present an annotation method by extracting ortholog cl...
Akshay Vashist, Casimir A. Kulikowski, Ilya B. Muc...
CP
2005
Springer
15 years 8 months ago
Tree Decomposition with Function Filtering
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
Martí Sánchez, Javier Larrosa, Pedro...
DAC
2008
ACM
16 years 3 months ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung