4421 search results - page 373 / 885 » Libraries |
105
Voted
ERCIMDL
2005
Springer
15 years 10 months 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...
163
click to vote
ICCS
2005
Springer
15 years 10 months 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...
126
Voted
ICCS
2005
Springer
15 years 10 months 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...
146
Voted
TLCA
2005
Springer
15 years 10 months 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...
142
Voted
DOCENG
2004
ACM
15 years 10 months 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...