828 search results - page 163 / 166 » A programming model for active documents |
DAC
1998
ACM
13 years 12 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
AAAI
2006
13 years 9 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
ESANN
2004
13 years 9 months ago
2004
When we talk about using neural networks for data mining we have in mind the original data mining scope and challenge. How did neural networks meet this challenge? Can we run neura...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
13 years 7 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...