3172 search results - page 526 / 635 » Combining Specification Techniques for Processes, Data and T... |
163
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
183
click to vote
MIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
190
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
198
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Real-time PCR has recently become the technique of choice for absolute and relative nucleic acid quantification. The gold standard quantification method in real-time P...
189
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an improved technique to detect evoked potentials in continuous EEG recordings using a spiking neural network. Human EEG signals recorded during spell checking,...