Sciweavers

1445 search results - page 194 / 289
» XPath query containment
Sort
View
177
Voted
ICMCS
1999
IEEE
110views Multimedia» more  ICMCS 1999»
15 years 8 months ago
Interactive Maps for a Digital Video Library
The Informedia Digital Video Library contains over 1200 hours of video. Through automatic processing, descriptors are derived for the video to improve library access. A new extens...
Michael G. Christel, Andreas M. Olligschlaeger
132
Voted
ADBIS
1999
Springer
80views Database» more  ADBIS 1999»
15 years 8 months ago
S*-Tree: An Improved S+-Tree for Coloured Images
In this paper we propose and analyze a new spatial access method, namely the S∗ -tree, for the efficient secondary memory encoding and manipulation of images containing multiple ...
Enrico Nardelli, Guido Proietti
122
Voted
PLILP
1998
Springer
15 years 8 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
143
Voted
WADS
1997
Springer
108views Algorithms» more  WADS 1997»
15 years 7 months ago
Dynamic Data Structures for Fat Objects and Their Applications
We present several efficient dynamic data structures for point-enclosure queries, involving convex fat objects in R2 or R3. Our planar structures are actually fitted for a more ...
Alon Efrat, Matthew J. Katz, Frank Nielsen, Micha ...
FC
2007
Springer
147views Cryptology» more  FC 2007»
15 years 7 months ago
Certificate Revocation Using Fine Grained Certificate Space Partitioning
A new certificate revocation system is presented. The basic idea is to divide the certificate space into several partitions, the number of partitions being dependent on the PKI en...
Vipul Goyal