2488 search results - page 492 / 498 » An improvement in formal verification |
118
click to vote
JCB
2006
14 years 11 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
104
click to vote
JMLR
2006
14 years 11 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
TCAD
2008
14 years 11 months ago
2008
Abstract--The fabrication of crossbar memories with sublithographic features is expected to be feasible within several emerging technologies; in all of them, the nanowire (NW) deco...
131
click to vote
TIP
2008
14 years 11 months ago
2008
Abstract--In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only...
BMCBI
2005
14 years 11 months ago
2005
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...