1474 search results - page 133 / 295 » Exploiting Locality in a TMS |
130
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
When monitoring spatial phenomena, which are often modeled as Gaussian Processes (GPs), choosing sensor locations is a fundamental task. A common strategy is to place sensors at t...
133
click to vote
HPCA
2004
IEEE
16 years 4 months ago
2004
IEEE
Many current programmable architectures designed to exploit data parallelism require computation to be structured to operate on sequentially accessed vectors or streams of data. A...
129
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
148
click to vote
ICIAP
2005
ACM
16 years 4 months ago
2005
ACM
Solids of revolution (vases, bottles, bells, . . .), shortly SORs, are very common objects in man-made environments. We present a complete framework for 3D database population from...
128
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...