Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis., , and . IEEE Trans. Pattern Anal. Mach. Intell., 35 (3): 568-581 (2013)Taxonomies of logically defined qualitative spatial relations., , and . Int. J. Hum. Comput. Stud., 43 (5-6): 831-846 (1995)Novel applications of discrete mereotopology to mathematical morphology., , , and . Signal Process. Image Commun., (2019)From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax., , and . IJCAI, page 57-66. Morgan Kaufmann, (2001)Computing Transivity Tables: A Challenge For Automated Theorem Provers., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 786-790. Springer, (1992)Abductive Visual Perception with Feature Clouds., and . KR, page 352-361. AAAI Press, (2006)A Spatial Logic based on Regions and Connection., , and . KR, page 165-176. Morgan Kaufmann, (1992)Qualitative Simulation Based on a Logical Formalism of Space and Time., , and . AAAI, page 679-684. AAAI Press / The MIT Press, (1992)Building Large Composition Tables via Axiomatic Theories., and . KR, page 26-36. Morgan Kaufmann, (2002)An Interval Logic for Space Based on "Connection"., , and . ECAI, page 394-398. John Wiley and Sons, (1992)