| ECVision indexed and annotated bibliography of cognitive computer vision publications This bibliography was created by Hilary Buxton and Benoit Gaillard, University of Sussex, as part of ECVision Specific Action 8-1 The complete text version of this BibTeX file is available here: ECVision_bibliography.bib
V Haarslev
ABSTRACT
This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations. However, in this article we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We demonstrate the application of this formalism to specifying semantics of visual query languages for GIS and to meta reasoning about spatial queries. |
|
| Site generated on Friday, 06 January 2006
|