6434 search results - page 108 / 1287 » The Dynamic Data Cube |
TCS
2008
13 years 10 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
New multimedia embedded applications are increasingly dynamic, and rely on Dynamically-allocated Data Types (DDTs) to store their data. The optimization of DDTs for each target em...
BMCBI
2008
13 years 10 months ago
2008
Background: There is accumulating evidence that the milieu of repeat elements and other nongenic sequence features at a given chromosomal locus, here defined as the genome environ...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
We are in the process of constructing a high resolution, high signal to noise ratio (SNR) dynamic MRI dataset for the human heart using methodology similar to that employed to cons...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...