A SPATIAL LOGIC FOR SYMBOLIC DESCRIPTION OF IMAGE CONTENTS

被引:8
作者
DELBIMBO, A
VICARIO, E
ZINGONI, D
机构
[1] Dipartimento di Sistemi e Informatica, Universitá di Firenze, 50139 Firenze
关键词
D O I
10.1006/jvlc.1994.1014
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Retrieval by contents is a major feature within databases of images, as it permits natural access to information. In order to support effectively this kind of operation, images must be associated with an appropriate description of their contents so as to provide some indexing support during the retrieval stage. To this end, appropriate languages for the representation of spatial information are required. In this paper, an original language, referred to as Spatial Logic, for the representation of spatial relationships between imaged objects is presented. A system which exploits this language to support image retrieval by contents through iconic visual interaction is also presented.
引用
收藏
页码:267 / 286
页数:20
相关论文
共 25 条
[1]   QUERY-BY-PICTORIAL-EXAMPLE [J].
CHANG, NS ;
FU, KS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) :519-524
[2]   PICTURE INDEXING AND ABSTRACTION TECHNIQUES FOR PICTORIAL DATABASES [J].
CHANG, SK ;
LIU, SH .
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1984, 6 (04) :475-484
[3]   AN INTELLIGENT IMAGE DATABASE SYSTEM [J].
CHANG, SK ;
YAN, CW ;
DIMITROFF, DC ;
ARNDT, T .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (05) :681-688
[4]   ICONIC INDEXING BY 2-D STRINGS [J].
CHANG, SK ;
SHI, QY ;
YAN, CW .
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1987, 9 (03) :413-428
[5]  
CHANG SK, 1992, IEEE T KNOWLEDGE OCT
[6]  
CHANG SK, 1992, J VISUAL LANGUAGES C, V3
[7]  
CHANG SK, 1991, PRENTICE HALL ENGLEW
[8]   DATABASE STRUCTURE AND MANIPULATION CAPABILITIES OF A PICTURE DATABASE-MANAGEMENT SYSTEM (PICDMS) [J].
CHOCK, M ;
CARDENAS, AF ;
KLINGER, A .
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1984, 6 (04) :484-492
[9]   AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J].
CLARKE, EM ;
EMERSON, EA ;
SISTLA, AP .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263
[10]  
COOPER L, 1984, SCI AM DEC