<--- Back to Details
First PageDocument Content
Spatial database / Complete Heyting algebra / R-tree / Minimum bounding rectangle / Spatial–temporal reasoning / Geometry / Mathematics / Structure
Date: 1999-06-04 10:36:43
Spatial database
Complete Heyting algebra
R-tree
Minimum bounding rectangle
Spatial–temporal reasoning
Geometry
Mathematics
Structure

Technical Report KDBSLAB-TR[removed]Spatial Relations, Minimum Bounding Rectangles,

Add to Reading List

Source URL: www.cs.ust.hk

Download Document from Source Website

File Size: 384,66 KB

Share Document on Facebook

Similar Documents

Optical flow / Image segmentation / Complete Heyting algebra / Mass / Mathematics / Structure / Abstraction

IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 24, NO. 12, DECEMBERPersonal Object Discovery in First-Person Videos Cewu Lu, Member, IEEE, Renjie Liao, and Jiaya Jia, Senior Member, IEEE

DocID: 1q2ZF - View Document

Algebra / Mathematics / Abstract algebra / Boolean algebra / Algebraic logic / Algebraic structures / Lattice theory / Algebra over a field / Heyting algebra / Complete Boolean algebra

Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

DocID: 1nQpr - View Document

Algebraic structures / Category theory / Order theory / Semigroup theory / Limit / Coproduct / Cardinal number / Product / Complete Heyting algebra / Quotient group / Equivalence class / Monoid

Coproducts and colimits of κ-quantales R. N. Ball and A. Pultr BLAST 6 June 2010

DocID: 1n3uY - View Document

Adjoint functors / Functor / Universal property / Limit / Sheaf / Equivalence of categories / Initial and terminal objects / Monad / Complete Heyting algebra / Abstract algebra / Category theory / Mathematics

Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

DocID: 1b2p6 - View Document

Boolean algebra / Algebraic logic / Algebraic structures / Lattice theory / Heyting algebra / Kripke semantics / Residuated lattice / Distributive lattice / Relation algebra / Logic / Mathematical logic / Mathematics

The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen

DocID: 1aYQ2 - View Document