-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen J.F. Maintaining knowledge about temporal intervals. Communications of the ACM 1983, 26:832-843.
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.F.1
-
3
-
-
12344336539
-
Modelling 3D spatial objects in a geo-DBMS using a 3D primitive
-
Arens C., Stoter J., van Oosterom P. Modelling 3D spatial objects in a geo-DBMS using a 3D primitive. Computers & Geosciences 2005, 31:165-177.
-
(2005)
Computers & Geosciences
, vol.31
, pp. 165-177
-
-
Arens, C.1
Stoter, J.2
van Oosterom, P.3
-
4
-
-
10744233816
-
The story of the GeoToolKit-An object-oriented geodatabase kernel system
-
Balovnev O., Bode T., Breunig M., Cremers A.B., Müller W., Pogodaev G., et al. The story of the GeoToolKit-An object-oriented geodatabase kernel system. GeoInformatica 2004, 8(1):5-47.
-
(2004)
GeoInformatica
, vol.8
, Issue.1
, pp. 5-47
-
-
Balovnev, O.1
Bode, T.2
Breunig, M.3
Cremers, A.B.4
Müller, W.5
Pogodaev, G.6
-
5
-
-
77954087157
-
OCL for formal modelling of topological constraints involving regions with broad boundaries
-
Bejaoui L., Pinet F., Schneider M., Bédard Y. OCL for formal modelling of topological constraints involving regions with broad boundaries. GeoInformatica 2010, 14(3):353-378.
-
(2010)
GeoInformatica
, vol.14
, Issue.3
, pp. 353-378
-
-
Bejaoui, L.1
Pinet, F.2
Schneider, M.3
Bédard, Y.4
-
6
-
-
84885672797
-
Manipulating spatial data in constraint databases
-
Springer, Berlin, Heidelberg, M. Scholl, A. Voisard (Eds.)
-
Belussi A., Bertino E., Catania B. Manipulating spatial data in constraint databases. Advances in spatial databases, lecture notes in computer science 1997, 113-141. Springer, Berlin, Heidelberg. M. Scholl, A. Voisard (Eds.).
-
(1997)
Advances in spatial databases, lecture notes in computer science
, pp. 113-141
-
-
Belussi, A.1
Bertino, E.2
Catania, B.3
-
7
-
-
4944226448
-
FACET: Future ATM concepts evaluation tool
-
Bilimoria K., Sridhar B., Chatterji G., Sheth K., Grabbe S. FACET: Future ATM concepts evaluation tool. Air Traffic Control Quarterly 2001, 9(1).
-
(2001)
Air Traffic Control Quarterly
, vol.9
, Issue.1
-
-
Bilimoria, K.1
Sridhar, B.2
Chatterji, G.3
Sheth, K.4
Grabbe, S.5
-
8
-
-
84899705206
-
Topological and geometric data handling for time-dependent geo-objects realized in DB4GeO
-
Springer, Berlin, Heidelberg, S. Timpf, P. Laube (Eds.)
-
Breunig M., Butwilowski E., Kuper P.V., Golovko D., Thomsen A. Topological and geometric data handling for time-dependent geo-objects realized in DB4GeO. Advances in spatial data handling 2013, 1-13. Springer, Berlin, Heidelberg. S. Timpf, P. Laube (Eds.).
-
(2013)
Advances in spatial data handling
, pp. 1-13
-
-
Breunig, M.1
Butwilowski, E.2
Kuper, P.V.3
Golovko, D.4
Thomsen, A.5
-
9
-
-
79958698449
-
3D geo-database research: retrospective and future directions
-
Breunig M., Zlatanova S. 3D geo-database research: retrospective and future directions. Computers & Geosciences 2011, 37:791-803.
-
(2011)
Computers & Geosciences
, vol.37
, pp. 791-803
-
-
Breunig, M.1
Zlatanova, S.2
-
10
-
-
0029396133
-
Using geographic plume analysis to assess community vulnerability to hazardous accidents
-
Chakraborty J., Armstrong M. Using geographic plume analysis to assess community vulnerability to hazardous accidents. Computers, Environment and Urban Systems 1996, 19(5/6):341-356.
-
(1996)
Computers, Environment and Urban Systems
, vol.19
, Issue.5-6
, pp. 341-356
-
-
Chakraborty, J.1
Armstrong, M.2
-
11
-
-
0030622919
-
The design of a GIS-based decision support system for chemical emergency preparedness and response in an urban environment
-
Chang N.B., Wei Y.L., Tseng C.C., Kao C.-Y.J. The design of a GIS-based decision support system for chemical emergency preparedness and response in an urban environment. Computers, Environment and Urban Systems 1997, 21(1):67-94.
-
(1997)
Computers, Environment and Urban Systems
, vol.21
, Issue.1
, pp. 67-94
-
-
Chang, N.B.1
Wei, Y.L.2
Tseng, C.C.3
Kao, C.-Y.J.4
-
12
-
-
21044438600
-
Modelling topological spatial relations: Strategies for query processing
-
Clementini E., Sharma J., Egenhofer M.J. Modelling topological spatial relations: Strategies for query processing. Computers & Graphics 1994, 18:815-822.
-
(1994)
Computers & Graphics
, vol.18
, pp. 815-822
-
-
Clementini, E.1
Sharma, J.2
Egenhofer, M.J.3
-
13
-
-
84944714605
-
-
New process for "Clean Sheet" airspace design and evaluation. In The 7th US/Europe air traffic management R&D seminar, Barcelona, Spain. 02-05 July 2007.
-
Conker, R., Moch-Mooney, D., Niedrinhaus, W., & Simmons, B. (2007). New process for "Clean Sheet" airspace design and evaluation. In The 7th US/Europe air traffic management R&D seminar, Barcelona, Spain. 02-05 July 2007.
-
(2007)
-
-
Conker, R.1
Moch-Mooney, D.2
Niedrinhaus, W.3
Simmons, B.4
-
14
-
-
84863455377
-
Modeling spatial and temporal set-based constraints during conceptual database design
-
Currim F., Ram S. Modeling spatial and temporal set-based constraints during conceptual database design. Information Systems Research 2012, 23(1):109-128.
-
(2012)
Information Systems Research
, vol.23
, Issue.1
, pp. 109-128
-
-
Currim, F.1
Ram, S.2
-
15
-
-
84947729407
-
-
Using UML/OCL constraints for relational database design. In France, R., & Rumpe, B. (Eds.), «UML»' 99-The unified modeling language (pp. 598-613). Berlin, Heidelberg: Springer.
-
Demuth, B., & Hussmann, H. (1999). Using UML/OCL constraints for relational database design. In France, R., & Rumpe, B. (Eds.), «UML»' 99-The unified modeling language (pp. 598-613). Berlin, Heidelberg: Springer.
-
(1999)
-
-
Demuth, B.1
Hussmann, H.2
-
16
-
-
84895771381
-
-
A mathematical framework for the definition of topological relationships. In Proceedings of fourth international symposium on SDH (pp. 803-813), Zurich, Switzerland.
-
Egenhofer, M. J., & Herring, J. R. (1990). A mathematical framework for the definition of topological relationships. In Proceedings of fourth international symposium on SDH (pp. 803-813), Zurich, Switzerland.
-
(1990)
-
-
Egenhofer, M.J.1
Herring, J.R.2
-
17
-
-
84895756333
-
-
Prospects for a space-time GIS. Annals of the association of American geographers (ahead-of-print).
-
Goodchild, M. F. (2013). Prospects for a space-time GIS. Annals of the association of American geographers (ahead-of-print).
-
(2013)
-
-
Goodchild, M.F.1
-
18
-
-
0035267820
-
Spatio-temporal data handling with constraints
-
Grumbach S., Rigaux P., Segoufin L. Spatio-temporal data handling with constraints. Geoinformatica 2001, 5:95-115.
-
(2001)
Geoinformatica
, vol.5
, pp. 95-115
-
-
Grumbach, S.1
Rigaux, P.2
Segoufin, L.3
-
20
-
-
78249262283
-
-
Heuristic method for 3d airspace partitioning: Genetic algorithm and agent-based approach. In 9th AIAA aviation technology, integration, and operations conference (ATIO) and aircraft noise and emissions reduction symposium (ANERS). Hilton Head, South Carolina.
-
Kicinger, R., & Yousefi, A. (2009). Heuristic method for 3d airspace partitioning: Genetic algorithm and agent-based approach. In 9th AIAA aviation technology, integration, and operations conference (ATIO) and aircraft noise and emissions reduction symposium (ANERS). Hilton Head, South Carolina.
-
(2009)
-
-
Kicinger, R.1
Yousefi, A.2
-
21
-
-
0037081686
-
Design and implementation of spatiotemporal database query processing system
-
Kim D.H., Ryu K.H., Park C.H. Design and implementation of spatiotemporal database query processing system. Journal of Systems and Software 2002, 60(1):37-49.
-
(2002)
Journal of Systems and Software
, vol.60
, Issue.1
, pp. 37-49
-
-
Kim, D.H.1
Ryu, K.H.2
Park, C.H.3
-
22
-
-
76049122447
-
Airspace configuration concepts for the next generation air transportation system
-
Kopardekar P., Bilimoria K.D., Sridhar B. Airspace configuration concepts for the next generation air transportation system. Air Traffic Control Quarterly 2008, 16:313-336.
-
(2008)
Air Traffic Control Quarterly
, vol.16
, pp. 313-336
-
-
Kopardekar, P.1
Bilimoria, K.D.2
Sridhar, B.3
-
23
-
-
84895753633
-
-
Space-time cube revisited from a geovisualization perspective. In Proceedings of 21st international cartographic conference (pp. 1988-1996). Durban, South Africa, 10 ñ 16 August, 2003.
-
Kraak, M. J. (2003). Space-time cube revisited from a geovisualization perspective. In Proceedings of 21st international cartographic conference (pp. 1988-1996). Durban, South Africa, 10 ñ 16 August, 2003.
-
(2003)
-
-
Kraak, M.J.1
-
24
-
-
84895737869
-
-
Constraint databases. New York Incorporated: Springer-Verlag.
-
Kuper, G., Libkin, L., & Paredaens, J. (2000). Constraint databases. New York Incorporated: Springer-Verlag.
-
(2000)
-
-
Kuper, G.1
Libkin, L.2
Paredaens, J.3
-
25
-
-
33745069608
-
A complete classification of topological relations using the 9-intersection method
-
Li S. A complete classification of topological relations using the 9-intersection method. International Journal of Geographical Information Science 2006, 20(6):589-610.
-
(2006)
International Journal of Geographical Information Science
, vol.20
, Issue.6
, pp. 589-610
-
-
Li, S.1
-
26
-
-
33745685487
-
-
Spatial data integrity ensuring mechanism in SDBMS. In Proceedings. IEEE international presented at the geoscience and remote sensing symposium, 2005. IGARSS'05, Seoul, Korea.
-
Lin, X., Zhang, Y., Liu, Y., & Gao, Y. (2005). Spatial data integrity ensuring mechanism in SDBMS. In Proceedings. IEEE international presented at the geoscience and remote sensing symposium, 2005. IGARSS'05, Seoul, Korea.
-
(2005)
-
-
Lin, X.1
Zhang, Y.2
Liu, Y.3
Gao, Y.4
-
27
-
-
33846411891
-
Specifying and implementing constraints in GIS-with examples from a geo-virtual reality system
-
Louwsma J., Zlatanova S., van Lammeren R., van Oosterom P. Specifying and implementing constraints in GIS-with examples from a geo-virtual reality system. GeoInformatica 2006, 10:531-550.
-
(2006)
GeoInformatica
, vol.10
, pp. 531-550
-
-
Louwsma, J.1
Zlatanova, S.2
van Lammeren, R.3
van Oosterom, P.4
-
28
-
-
2942592507
-
A hierarchically structured and constraint-based data model for intuitive and precise solid modeling in a virtual reality environment
-
Ma W., Zhong Y., Tso S.-K., Zhou T. A hierarchically structured and constraint-based data model for intuitive and precise solid modeling in a virtual reality environment. Computer-Aided Design 2004, 36:903-928.
-
(2004)
Computer-Aided Design
, vol.36
, pp. 903-928
-
-
Ma, W.1
Zhong, Y.2
Tso, S.-K.3
Zhou, T.4
-
29
-
-
70349422758
-
-
On the expressive power of OCL. In Wing, J. M., Woodcock, J., & Davies, J. (Eds.), FM'99-Formal methods (pp. 854-874). Berlin, Heidelberg: Springer.
-
Mandel, L., & Cengarle, M. (1999). On the expressive power of OCL. In Wing, J. M., Woodcock, J., & Davies, J. (Eds.), FM'99-Formal methods (pp. 854-874). Berlin, Heidelberg: Springer.
-
(1999)
-
-
Mandel, L.1
Cengarle, M.2
-
30
-
-
63749111270
-
-
Categories of geospatial and temporal integrity constraints. In The international conference on advanced geographic information systems web services, 2009. GEOWS '09, Cancun, Mexico.
-
Mas, S., & Reinhardt, W. (2009). Categories of geospatial and temporal integrity constraints. In The international conference on advanced geographic information systems web services, 2009. GEOWS '09, Cancun, Mexico.
-
(2009)
-
-
Mas, S.1
Reinhardt, W.2
-
31
-
-
84895762638
-
Object constraint language (OCL): Past, present and future
-
Pandey R.K. Object constraint language (OCL): Past, present and future. ACM SIGSOFT Software Engineering Notes 2011, 36(1):1-4.
-
(2011)
ACM SIGSOFT Software Engineering Notes
, vol.36
, Issue.1
, pp. 1-4
-
-
Pandey, R.K.1
-
32
-
-
0027990078
-
Computational Methods for Evaluating Swept Object Boundaries
-
Parida L., Mudur S.P. Computational Methods for Evaluating Swept Object Boundaries. The Visual Computer 1994, 10(5):266-276.
-
(1994)
The Visual Computer
, vol.10
, Issue.5
, pp. 266-276
-
-
Parida, L.1
Mudur, S.P.2
-
34
-
-
84957798493
-
-
On formalizing the UML object constraint language OCL. In Conceptual modeling-ER'98 (pp. 449-464). Berlin, Heidelberg: Springer.
-
Richters, M., & Gogolla, M. (1998). On formalizing the UML object constraint language OCL. In Conceptual modeling-ER'98 (pp. 449-464). Berlin, Heidelberg: Springer.
-
(1998)
-
-
Richters, M.1
Gogolla, M.2
-
35
-
-
79956327976
-
Spatiotemporal pattern queries
-
Sakr M.A., Güting R.H. Spatiotemporal pattern queries. Geoinformatica 2011, 15(3):497-540.
-
(2011)
Geoinformatica
, vol.15
, Issue.3
, pp. 497-540
-
-
Sakr, M.A.1
Güting, R.H.2
-
36
-
-
80051594596
-
Formal classification of integrity constraints in spatiotemporal database applications
-
Salehi M., Bédard Y., Mostafavi M.A., Brodeur J. Formal classification of integrity constraints in spatiotemporal database applications. Journal of Visual Languages & Computing 2011, 22:323-339.
-
(2011)
Journal of Visual Languages & Computing
, vol.22
, pp. 323-339
-
-
Salehi, M.1
Bédard, Y.2
Mostafavi, M.A.3
Brodeur, J.4
-
37
-
-
80155187491
-
A multi-objective approach for Dynamic Airspace Sectorization using agent based and geometric models
-
Tang J., Alam S., Lokan C., Abbass H.A. A multi-objective approach for Dynamic Airspace Sectorization using agent based and geometric models. Transportation Research Part C: Emerging Technologies 2012, 21(1):89-121.
-
(2012)
Transportation Research Part C: Emerging Technologies
, vol.21
, Issue.1
, pp. 89-121
-
-
Tang, J.1
Alam, S.2
Lokan, C.3
Abbass, H.A.4
-
38
-
-
84895733320
-
-
Computational geometry: Its objectives and relation to GIS. In Oosterom, P. J. M., & van Kreveld, M. J. (Eds.), Nederlandse Commissie voor Geodesie (NCG) (pp. 1-8).
-
van Kreveld, M. (2006). Computational geometry: Its objectives and relation to GIS. In Oosterom, P. J. M., & van Kreveld, M. J. (Eds.), Nederlandse Commissie voor Geodesie (NCG) (pp. 1-8).
-
(2006)
-
-
Van Kreveld, M.1
-
39
-
-
0003809443
-
-
Addison-Wesley Longman Publishing Co., Inc., Boston, MA
-
Warmer J., Kleppe A. The object constraint language: Getting your models ready for MDA 2003, Addison-Wesley Longman Publishing Co., Inc., Boston, MA. 2nd ed.
-
(2003)
The object constraint language: Getting your models ready for MDA
-
-
Warmer, J.1
Kleppe, A.2
-
40
-
-
84895736100
-
-
Formalization of spatial constraints. In 12th AGILE international conference on geographic information science 2009. Leibniz Universität Hannover: Germany. 2-5 June, 2009.
-
Weder, S., (2009). Formalization of spatial constraints. In 12th AGILE international conference on geographic information science 2009. Leibniz Universität Hannover: Germany. 2-5 June, 2009.
-
(2009)
-
-
Weder, S.1
-
41
-
-
0028199287
-
A unified model for spatial and temporal information
-
Worboys M.F. A unified model for spatial and temporal information. The Computer Journal 1994, 37(1):26-34.
-
(1994)
The Computer Journal
, vol.37
, Issue.1
, pp. 26-34
-
-
Worboys, M.F.1
-
43
-
-
78249279996
-
-
Trigger metrics for dynamic airspace configuration. In 9th AIAA ATIO conference. 21-23 September 2009. Hilton Head, South Carolina.
-
Yousefi, A., Hoffman, R., Lowther, M., Khorrami, B., & Hackney, H. (2009). Trigger metrics for dynamic airspace configuration. In 9th AIAA ATIO conference. 21-23 September 2009. Hilton Head, South Carolina.
-
(2009)
-
-
Yousefi, A.1
Hoffman, R.2
Lowther, M.3
Khorrami, B.4
Hackney, H.5
-
44
-
-
41449114155
-
Exploring potential human activities in physical and virtual spaces: A spatio-temporal GIS approach
-
Yu H., Shaw S. Exploring potential human activities in physical and virtual spaces: A spatio-temporal GIS approach. International Journal of Geographical Information Science 2008, 22:409-430.
-
(2008)
International Journal of Geographical Information Science
, vol.22
, pp. 409-430
-
-
Yu, H.1
Shaw, S.2
-
45
-
-
77954359277
-
CAUSTA: Clifford Algebra-based unified spatio-temporal analysis
-
Yuan L., Yu Z., Chen S., Luo W., Wang Y., Lü G. CAUSTA: Clifford Algebra-based unified spatio-temporal analysis. Transactions in GIS 2010, 14(s1):59-83.
-
(2010)
Transactions in GIS
, vol.14
, Issue.S1
, pp. 59-83
-
-
Yuan, L.1
Yu, Z.2
Chen, S.3
Luo, W.4
Wang, Y.5
Lü, G.6
-
46
-
-
84863586303
-
-
Developing an oracle-based spatio-temporal information management system. In Database systems for advanced applications (pp. 168-176). Berlin, Heidelberg: Springer.
-
Zhao, L., Jin, P., Zhang, L., Wang, H., & Lin, S. (2011). Developing an oracle-based spatio-temporal information management system. In Database systems for advanced applications (pp. 168-176). Berlin, Heidelberg: Springer.
-
(2011)
-
-
Zhao, L.1
Jin, P.2
Zhang, L.3
Wang, H.4
Lin, S.5
-
47
-
-
84895742652
-
-
OCL Extended with temporal logic. In Broy, M., & Zamulin, A. (Eds.), Perspectives of system informatics (pp. 617-633). Berlin, Heidelberg: Springer.
-
Ziemann, P., & Gogolla, M. (2003). OCL Extended with temporal logic. In Broy, M., & Zamulin, A. (Eds.), Perspectives of system informatics (pp. 617-633). Berlin, Heidelberg: Springer.
-
(2003)
-
-
Ziemann, P.1
Gogolla, M.2
|