17983 search results - page 98 / 3597 » Set Types and Applications |
133
Voted
MST
2008
15 years 2 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
104
Voted
DCG
2002
15 years 2 months ago
2002
In this paper we study the topology of transversals to a family of convex sets as a subset of a Grassmanian manifold. This topology seems to be ruled by a combinatorial structure w...
123
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
221
Voted
GIS
2008
ACM
16 years 3 months ago
2008
ACM
Given a spatial crime data warehouse, that is updated infrequently and a set of operations O as well as constraints of storage and update overheads, the index type selection probl...
167
Voted
ISVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...