𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An algebraic algorithm for point inclusion query

✍ Scribed by Huayi Wu; Jianya Gong; Deren Li; Wenzhong Shi

Book ID
114108241
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
155 KB
Volume
24
Category
Article
ISSN
0097-8493

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

RAL: An Algebra for Querying RDF
RAL: An Algebra for Querying RDF
✍ Flavius Frasincar; Geert-Jan Houben; Richard Vdovjak; Peter Barna πŸ“‚ Article πŸ“… 2004 πŸ› Springer 🌐 English βš– 208 KB
Perturbed Proximal Point Algorithms for
Perturbed Proximal Point Algorithms for Generalized Quasivariational Inclusions
✍ Xie Ping Ding πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 224 KB

In this paper, we study a class of generalized quasivariational inclusions. By using the properties of the resolvent operator associated with a maximal monotone mapping in Hilbert space, we have established an existence theorem of solutions for generalized quasivariational inclusions, suggesting a n

Point algebras for temporal reasoning: A
Point algebras for temporal reasoning: Algorithms and complexity
✍ Mathias Broxvall; Peter Jonsson πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 447 KB

We investigate the computational complexity of temporal reasoning in different time models such as totally-ordered, partially-ordered and branching time. Our main result concerns the satisfiability problem for point algebras and point algebras extended with disjunctions-for these problems, we identi