122 search results - page 5 / 25 » Using Model Counting to Find Optimal Distinguishing Tests |
113
Voted
BMCBI
2006
14 years 9 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
FORTE
2000
14 years 11 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
162
Voted
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
NAACL
2004
14 years 11 months ago
2004
Previous work demonstrated that web counts can be used to approximate bigram frequencies, and thus should be useful for a wide variety of NLP tasks. So far, only two generation ta...