Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic.

@article{DBLP:journals/tkde/BimboVZ95,
  author    = {Alberto Del Bimbo and
               Enrico Vicario and
               Daniele Zingoni},
  title     = {Symbolic Description and Visual Querying of Image Sequences Using
               Spatio-Temporal Logic},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {4},
  year      = {1995},
  pages     = {609-622},
  ee        = {db/journals/tkde/BimboVZ95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983) BibTeX

[3]

...

[4]

...

[5]

...

[6]

Elisabetta Binaghi, Isabella Gagliardi, Raimondo Schettini: Indexing and Fuzzy Logic-Based Retrieval of Color Images. VDB 1991: 79-92 BibTeX

[7]

...

[8]

...

[9]

Shi-Kuo Chang, C. W. Yan, Donald C. Dimitroff, Timothy Arndt: An Intelligent Image Database System. IEEE Trans. Software Eng. 14(5): 681-688(1988) BibTeX

[10]

...

[11]

...

[12]

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2): 244-263(1986) BibTeX

[13]

Gennaro Costagliola, Genoveffa Tortora, Timothy Arndt: A Unifying Approach to Iconic Indexing for 2-D and 3-D Scences. IEEE Trans. Knowl. Data Eng. 4(3): 205-222(1992) BibTeX

[14]

...

[15]

Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi: A Three-Dimensional Iconic Environment for Image Database Querying. IEEE Trans. Software Eng. 19(10): 997-1011(1993) BibTeX

[16]

...

[17]

Alberto Del Bimbo, Pietro Pala, Simone Santini: Visual Image Retrieval by Elastic Deformation of Object Sketches. VL 1994: 216-223 BibTeX

[18]

Erland Jungert: The Observer's Point of View: An Extension of Symbolic Projections. Spatio-Temporal Reasoning 1992: 179-195 BibTeX

[19]

...

[20]

Kyoji Hirata, Toshikazu Kato: Query by Visual Example - Content based Image Retrieval. EDBT 1992: 56-71 BibTeX

[21]

...

[22]

...

[23]

Lil Mohan, Rangasami L. Kashyap: An Object-Oriented Knowledge Representation for Spatial Information. IEEE Trans. Software Eng. 14(5): 675-681(1988) BibTeX

[24]

Akio Nagasaka, Yuzuru Tanaka: Automatic Video Indexing and Full-Video Search for Object Appearances. VDB 1991: 113-127 BibTeX

[25]

Wayne Niblack, Ron Barber, William Equitz, Myron Flickner, Eduardo H. Glasman, Dragutin Petkovic, Peter Yanker, Christos Faloutsos, Gabriel Taubin: The QBIC Project: Querying Images by Content, Using Color, Texture, and Shape. Storage and Retrieval for Image and Video Databases (SPIE) 1993: 173-187 BibTeX

[26]

...

[27]

...

[28]

Ingrid M. Walter, Rose Sturm, Peter C. Lockemann, Hans-Hellmut Nagel: A Semantic Network Based Deductive Database System for Image Sequence Evaluation. VDB 1991: 251-277 BibTeX

[29]

HongJiang Zhang, Atreyi Kankanhalli, Stephen W. Smoliar: Automatic Partitioning of Full-Motion Video. Multimedia Syst. 1(1): 10-28(1993) BibTeX

Referenced by

1. John D. N. Dionisio, Alfonso F. Cardenas: Unified Data Model for Representing Multimedia, Timeline, and Simulation Data. IEEE Trans. Knowl. Data Eng. 10(5): 746-767(1998)
2. Wesley W. Chu, Chih-Cheng Hsu, Alfonso F. Cardenas, Ricky K. Taira: Knowledge-Based Image Retrieval with Spatial and Temporal Constructs. IEEE Trans. Knowl. Data Eng. 10(6): 872-888(1998)
3. Toshiyuki Amagasa, Masayoshi Aritsugi, Takayuki Tanaka, Yoshinari Kanamori: Implementing Class Library and Index for Managing Spatio-Temporal Data. ER Workshops 1998: 532-541