SSTA has received a considerable amount of attention in recent years. However, it is a general rule that any approach can only be as accurate as the underlying models. Thus, varia...
Brian Cline, Kaviraj Chopra, David Blaauw, Andres ...
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...
Meshes have become a widespread and popular representation of models in computer graphics. Morphing techniques aim at transforming a given source shape into a target shape. Morphi...