The paper presents a software visualization application-framework that utilizes a variety of 3D metaphors to represent large software system and related analysis data. The 3D repr...
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
Multimodal image registration is a fundamental problem in medical image analysis. In this paper, we propose a novel algorithm to compute the local frequency representations of the...
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...