Algorithms based on the minimization of the Total Variation are prevalent in computer vision. They are used in a variety of applications such as image denoising, compressive sensi...
This paper presents the syntactic and semantic tags used to annotate predicate-argument structure in the Berkeley FrameNet Project. It briefly explains the theory of frame semanti...
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...