Sciweavers

1313 search results - page 74 / 263
» Generic Universe Types
Sort
View
DKE
1998
125views more  DKE 1998»
14 years 11 months ago
Data Models and Query Languages for Spatial Databases
The main purpose of this paper is to investigate the characteristics that distinguish spatial databases systems from traditional ones. Hereto, we give an overview of some well-kno...
Jan Paredaens, Bart Kuijpers
ICDE
2010
IEEE
268views Database» more  ICDE 2010»
15 years 11 months ago
Techniques for Efficiently Searching in Spatial, Temporal, Spatio-temporal, and Multimedia Databases
This tutorial provides a comprehensive and comparative overview of general techniques to efficiently support similarity queries in spatial, temporal, spatio-temporal, and multimedi...
Hans-Peter Kriegel, Matthias Renz, Peer Kröge...
IEEEICCI
2009
IEEE
15 years 6 months ago
Interval sets and interval-set algebras
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
Yiyu Yao
TYPES
2004
Springer
15 years 5 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
GPCE
2003
Springer
15 years 5 months ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...