1237 search results - page 71 / 248 » Strictness and Totality Analysis |
136
click to vote
IJON
2002
15 years 6 months ago
2002
We investigate the formation of ordered spatiotemporal activations of pools of neurons in synfire chains (SFC) within a balanced network, both by simulations and by analytic tools...
143
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
154
click to vote
SMI
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper a novel clustering algorithm is proposed, namely Variational Multilevel Mesh Clustering (VMLC). The algorithm incorporates the advantages of both hierarchical and va...
153
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
528
click to vote
ICA
2012
Springer
14 years 1 months ago
2012
Springer
Independent component analysis (ICA) is possibly the most widespread approach to solve the blind source separation (BSS) problem. Many different algorithms have been proposed, tog...