2740 search results - page 458 / 548 » A Model-Based Approach To Requirements Analysis |
EGH
2004
Springer
15 years 1 months ago
2004
Springer
Utilizing graphics hardware for general purpose numerical computations has become a topic of considerable interest. The implementation of streaming algorithms, typified by highly ...
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
The Dublin City University participation in the CLEF 2006 CL-SR task concentrated on exploring the combination of the multiple fields associated with the documents. This was based...
106
click to vote
GCB
2004
Springer
15 years 1 months ago
2004
Springer
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
106
click to vote
DAGM
2006
Springer
15 years 1 months ago
2006
Springer
Independent Component Analysis (ICA) is a frequently used preprocessing step in source localization of MEG and EEG data. By decomposing the measured data into maximally independent...
APLAS
2003
ACM
15 years 1 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...