820 search results - page 123 / 164 » Memory System Connectivity Exploration |
110
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. An iterative method LSMR is presented for solving linear systems Ax = b and leastsquares problem min Ax - b 2, with A being sparse or a fast linear operator. LSMR is base...
102
Voted
PUC
2010
15 years 1 months ago
2010
We examine the effects of new technologies for digital photography on people’s longer term storage and access to collections of personal photos. We report an empirical study of p...
141
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
120
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In earlier work we proposed a way for a Web server to detect connectivity information about clients accessing it in order to take tailored actions for a client request. This paper...
146
Voted
GEOINFO
2003
15 years 4 months ago
2003
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...