17329 search results - page 3163 / 3466 » Improved non-approximability results |
197
click to vote
TVLSI
2008
15 years 6 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
180
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract-- In distributed wireless networks without centralized control, each user is its own authority to maximize its own performance. This distributed characteristic provides th...
220
click to vote
WIAS
2008
15 years 6 months ago
2008
Our system, based on a multiagent framework called collaborative understanding of distributed knowledge (CUDK), is designed with the overall goal of balancing agents' conceptu...
189
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: This paper presents the use of Support Vector Machines (SVMs) for prediction and analysis of antisense oligonucleotide (AO) efficacy. The collected database comprises ...
205
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Many current gene prediction methods use only one model to represent proteincoding regions in a genome, and so are less likely to predict the location of genes that ha...