11219 search results - page 29 / 2244 » Retroactive data structures |
PLDI
2011
ACM
14 years 16 days ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Increasingly huge RDF data sets are being published on the Web. Currently, they use different syntaxes of RDF, contain high levels of redundancy and have a plain indivisi...
99
Voted
DEBU
2010
14 years 7 months ago
2010
Storage Class Memory (SCM) is here to stay. It has characteristics that place it in a class apart both from main memory and hard disk drives. Software and systems, architectures a...
ISBI
2011
IEEE
14 years 1 months ago
2011
IEEE
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
IGARSS
2010
14 years 7 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...