4245 search results - page 769 / 849 » Input Modeling |
174
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
187
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Prediction of transmembrane (TM) helices by statistical methods suffers from lack of sufficient training data. Current best methods use hundreds or even thousands of f...
173
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present a tool for the user-controlled creation of multiresolution meshes. Several automatic mesh reduction methods of high quality have been presented in the past, but most of...
289
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...