11211 search results - page 472 / 2243 » Rank-Sensitive Data Structures |
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
195
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Features in many real world applications such as Cheminformatics, Bioinformatics and Information Retrieval have complex internal structure. For example, frequent patterns mined fr...
180
click to vote
DGO
2007
15 years 8 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
207
click to vote
CGF
2010
15 years 7 months ago
2010
This paper presents a digital storytelling approach that generates automatic animations for time-varying data visualization. Our approach simulates the composition and transition ...
170
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...