17983 search results - page 108 / 3597 » Set Types and Applications |
164
Voted
SSD
1993
Springer
15 years 6 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
122
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
138
Voted
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
A useful starting point for designing advanced graphical user interfaces is the Visual InformationSeeking Mantra: Overview first, zoom and filter, then details-on-demand. But this...
112
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
92
Voted
COLING
2002
15 years 2 months ago
2002
This paper describes an indexing substrate for typed feature structures (ISTFS), which is an efficient retrieval engine for typed feature structures. Given a set of typed feature ...