dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Formal Specification of Geographic Data Processing Requirements.

Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. 2(4): 370-380(1990)
@article{DBLP:journals/tkde/Roman90,
  author    = {Gruia-Catalin Roman},
  title     = {Formal Specification of Geographic Data Processing Requirements},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {2},
  number    = {4},
  year      = {1990},
  pages     = {370-380},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/69.63249},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
George Nagy, Sharad Wagle: Geographic Data Processing. ACM Comput. Surv. 11(2): 139-181(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Albert L. Zobrist, George Nagy: Pictorial Information Processing of Landsat Data for Geographic Analysis. IEEE Computer 14(11): 34-41(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
...
[4]
...
[5]
Shi-Kuo Chang, Tosiyasu L. Kunii: Pictorial Data-Base Systems. IEEE Computer 14(11): 13-21(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Margaret Chock, Alfonso F. Cardenas, Allen Klinger: Manipulating Data Structures in Pictorial Information Systems. IEEE Computer 14(11): 43-50(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Alfons Kemper, Mechtild Wallrath: An Analysis of Geometric Modeling in Database Systems. ACM Comput. Surv. 19(1): 47-91(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Lotfi A. Zadeh: Fuzzy Logic. IEEE Computer 21(4): 83-93(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Kwong-Sak Leung, W. Lam: Fuzzy Concepts in Expert Systems. IEEE Computer 21(9): 43-56(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Jack Minker: An Experimental Relational Data Base System Based on Logic. Logic and Data Bases 1977: 107-147 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Richard C. T. Lee: Fuzzy Logic and the Resolution Principle. J. ACM 19(1): 109-119(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Fri Sep 14 18:25:55 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page