Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
Abstract. The present paper derives two new equations for the nonlinear registration of images based on Euler-Lagrange equations. It offers a systematic way to construct fluid exte...
Jens-Peer Kuska, Patrick Scheibe, Ulf-Dietrich Bra...
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...