7264 search results - page 1228 / 1453 » A multiplicative up-propagation algorithm |
180
click to vote
PPAM
2005
Springer
16 years 1 days ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
153
click to vote
SAFECOMP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
160
click to vote
VMCAI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
173
click to vote
ACMMSP
2004
ACM
16 years 2 hour ago
2004
ACM
As superscalar processors become increasingly wide, it is inevitable that the large set of instructions to be fetched every cycle will span multiple noncontiguous basic blocks. Th...
152
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...