4421 search results - page 373 / 885 » Libraries |
133
click to vote
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Conference Management constitutes a field in Digital Libraries including tasks such as paper to reviewer assignment and session compilation. These tasks depend on the pa...
188
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The innovation of this work is a simple vectorizable algorithm for performing sparse matrix vector multiply in compressed sparse row (CSR) storage format. Unlike the vect...
146
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
In this article we report on our efforts to test and expand the current state-of-the-art in eigenvalue solvers applied to the field of nanotechnology. We singled out the nonlinea...
177
Voted
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
176
click to vote
DOCENG
2004
ACM
16 years 6 days ago
2004
ACM
This research’s primary contribution is providing a relatively straightforward, sustainable infrastructure for integrating documents and services. Users see a totally integrated...