111 search results - page 4 / 23 » Computational Models for the Formation of Protocell Structur... |
HPCC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We improve the performance of sparse matrix-vector multiplication (SpMV) on modern cache-based superscalar machines when the matrix structure consists of multiple, irregu...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Link structures are important patterns one looks out for when modeling and analyzing social networks. In this paper, we propose the task of mining interesting Link Formation rules...
SSDBM
2011
IEEE
14 years 1 months ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...