• DocumentCode
    1958687
  • Title

    Moving Spaces

  • Author

    Duntsch, I. ; Winter, Michael

  • Author_Institution
    Dept. of Comput. Sci., Brock Univ., St. Catharines, ON
  • fYear
    2008
  • fDate
    16-18 June 2008
  • Firstpage
    59
  • Lastpage
    63
  • Abstract
    Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a general representation theorem for this kind of algebras.
  • Keywords
    Boolean algebra; geometry; canonical models; contact algebras; moving spaces; space region based theory; timed contact structures; Boolean algebra; Computer science; Councils; Geometry; Shape; Temporal Spatial Reasoning;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on
  • Conference_Location
    Montreal, QC
  • ISSN
    1530-1311
  • Print_ISBN
    978-0-7695-3181-6
  • Type

    conf

  • DOI
    10.1109/TIME.2008.9
  • Filename
    4553292
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1958687