2740 search results - page 458 / 548 » A Model-Based Approach To Requirements Analysis |
155
click to vote
EGH
2004
Springer
15 years 10 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 ...
164
click to vote
CLEF
2006
Springer
15 years 10 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...
188
click to vote
GCB
2004
Springer
15 years 10 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, ...
186
click to vote
DAGM
2006
Springer
15 years 10 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...
173
click to vote
APLAS
2003
ACM
15 years 9 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 ...