11213 search results - page 90 / 2243 » Low-contention data structures |
170
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
116
Voted
PODS
1993
ACM
15 years 7 months ago
1993
ACM
In this paper, we motivate four di erent user de ned window query classes and derive a probabilistic model for each of them. For each model, we characterize the e ciency of spatia...
96
Voted
INFORMATICALT
2008
15 years 3 months ago
2008
We investigate applicability of quantitative methods to discover the most fundamental structural properties of the most reliable political data in Lithuania. Namely, we analyze vot...
124
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Information sharing can be effective with structured data. The Semantic Web is mainly aimed at structuring information by creating widely accepted ontologies. However, users have ...
119
Voted
FLAIRS
2000
15 years 5 months ago
2000
With the increasing amount and complexity of data being collected, there is an urgent need to create automated techniques for mining the data. In particular, data being generated ...