Sciweavers

2100 search results - page 154 / 420
» Relational Topographic Maps
Sort
View
IWPC
2003
IEEE
15 years 9 months ago
Comprehension of Software Analysis Data Using 3D Visualization
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...
Andrian Marcus, Louis Feng, Jonathan I. Maletic
131
Voted
VLSID
1999
IEEE
122views VLSI» more  VLSID 1999»
15 years 8 months ago
Formal Verification of an ARM Processor
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 ...
Vishnu A. Patankar, Alok Jain, Randal E. Bryant
VMV
2001
161views Visualization» more  VMV 2001»
15 years 5 months ago
Regularized Quadrature Filters for Local Frequency Estimation: Application to Multimodal Volume Image Registration
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...
Jundong Liu
IJCAI
1989
15 years 5 months ago
On Cooperation in a Multi-Entity Model
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...
Moshe Tennenholtz, Yoram Moses
JCT
2008
103views more  JCT 2008»
15 years 4 months ago
A bijective proof of Jackson's formula for the number of factorizations of a cycle
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...
Gilles Schaeffer, Ekaterina A. Vassilieva