276 search results - page 26 / 56 » Decomposition tool for event-B |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
HiPerSAT, a C++ library and tools, processes EEG data sets with ICA (Independent Component Analysis) methods. HiPerSAT uses BLAS, LAPACK, MPI and OpenMP to achieve a high performa...
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a case study of interdisciplinary collaboration in building a set of tools to simulate and visualize airflow around bat wings during flight. A motion capture sy...
68
Voted
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
BIOSTEC
2008
14 years 11 months ago
2008
Abstract. The wavelet transform is a widely used pre-filtering step for subsequent R spike detection by thresholding of the coefficients. The time-frequency decomposition is indeed...