Ontology-based design of surveillance systems with NUT

Proceedings of the 3rd International Conference on Information Fusion, FUSION 2000

Volumn 2, Issue , 2000, Pages

  Kotkas, Vahur ^a   Penjam, Jaan ^a   Tyugu, Enn ^b  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

ontology based programmining; radar surveillance modeling; structural synthesis of programs; visual programming

Indexed keywords

COMPUTER PROGRAMMING; INFORMATION FUSION; RADAR; SECURITY SYSTEMS; SEMANTICS;

DOMAIN KNOWLEDGE; ONTOLOGY-BASED; RADAR SURVEILLANCE; STRUCTURAL SYNTHESIS; SURVEILLANCE SYSTEMS; VISUAL PROGRAMMING;

ONTOLOGY;

EID: 84891445105     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IFIC.2000.859828     Document Type: Conference Paper

References (10)

1. M.A. Muscn, Ontology oriented design and programming: a new kind of "00", In J. Cueria (cd.) Proc. Information Technology and Knowledge Systems, 15th IFIP World Computer Congress, Wien, 1998, 1-5 pp.
2. E. Tyugu, Using classes as specifications for automatic construction of programs in the NUT system, Automated Software Engineering, v. 1, no. 3-4, 1994, 315-334.
3. T. Uustalu, U. Kopra, V. Kotkas, M. Matskin, E. Tyugu, E, The NUT Language Report, The Royal Institute of Technology (KTH), TRITA-IT R 94:14, 1994.
4. G. Mints, Propositional Logic Programming, In: J. Hayes et al. (eds.): Machine Intelligence, Vol. 12, Clarendon Press, Oxford, 1991, 17-37.
5. T. Uustalu, E. Tyugu, Higlier-Order Functional Constraint Networks. In: Mayoh, B. et al.(eds.): Constraint Programming. NATO ASI Series F, Vol. 131, Springer-Verlag, Berlin Heidelberg New York, 1994, 116-139.
6. V. Vlassov, M. Addibpour, E. Tyugu, NUTS: A distributed object-oriented platform witli high-level communication functions, Computers and Artificial Intelligence, v. 17, no. 4 1998, 305-335. (Pubitemid 128767613)
7. L.V. Blake, A Guide to Basic Pulse-Radar Maximum-Range Calculation, Part 1. Equations, Definitions, and Aids to Calculation, Naval Research Laboratory Report 6930, AS 701 321, 1969.
8. J. Penjarn, E. Tyugu, Constraints in NUT. In: Mayoh, B. et al.(eds.): Constraint Programming. NATO ASI Series F, Vol. 131, Springer-Verlag, Berlin Heidelberg New York, 1994, 330-349.
9. T. Coquand, B. Nordstrom, J.M. Smith. Type Theory and Programming, Bulletin of the EATCS, Vol. 52, 1994, 203-228.
10. E. Tyugu, M. Matskin, J. Penjam. Applications of Structural Synthesis of Programs, In: J. Wing, J. Woodcock, J. Davies (Eds.). FM"99 -World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Vol. I, Lecture Notes in Comp Sci., vol. LNCS 1708, Springer, 1999, 551-569.