2302 search results - page 244 / 461 » Testing as Abstraction |
182
click to vote
HPCC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capabi...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we outline initial concepts for an immune inspired algorithm to evaluate price time series data. The proposed solution evolves a short term pool of trackers...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The Dendritic Cell Algorithm is an immune-inspired algorithm originally based on the function of natural dendritic cells. The original instantiation of the algorithm is a...
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
177
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...