4298 search results - page 221 / 860 » Computing at the top of the world |
160
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Given a spatial data set placed on an n ? n grid, our goal is to find the rectangular regions within which subsets of the data set exhibit anomalous behavior. We develop algorithm...
149
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
It is of the utmost importance, we argue, to specifically tailor disaster response systems with users' collaboration in mind. Such an approach, building on top of, and extend...
202
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
247
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Local invariant feature based methods have been proven to be effective in computer vision for object recognition and learning. But for an image, the number of points detected and ...
151
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...