In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
This paper presents a method for doing motion segmentation for autonomous vehicles which drive on planar surfaces. There are two distinct types of independent motion that may occu...
In this paper the optimal filter-bank design method based on the Minimum Phone Error (MPE) criteria is investigated. We use Gaussian type filter bank for optimization and variou...
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...