2956 search results - page 406 / 592 » Databases and Higher Types |
170
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
162
click to vote
SIGKDD
2000
15 years 6 months ago
2000
Advances in data collection and storage have allowed organizations to create massive, complex and heterogeneous databases, which have stymied traditional methods of data analysis....
168
click to vote
TGIS
2002
15 years 5 months ago
2002
While the presence of uncertainty in the geometric and attribute aspects of geographic information is well known, it is also present in temporal information. In spatiotemporal GIS...
178
click to vote
PVLDB
2008
15 years 5 months ago
2008
In the near future, commodity hardware is expected to incorporate both flash and magnetic disks. In this paper we study how the storage layer of a database system can benefit from...
174
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
We explore the application of a graph representation to model similarity relationships that exist among images found on the Web. The resulting similarity-induced graph allows us t...