Sciweavers

3072 search results - page 174 / 615
» Shape analysis algorithm based on information theory
Sort
View
ICFP
1997
ACM
15 years 2 months ago
A Modular, Polyvariant, and Type-Based Closure Analysis
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
Anindya Banerjee
FORTE
1997
14 years 11 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
Marek Musial
INFOCOM
2010
IEEE
14 years 8 months ago
Asymptotic Analysis of Precoded Small Cell Networks
—In this paper, we study precoded MIMO based small cell networks. We derive the theoretical sum-rate capacity, when multi-antenna base stations transmit precoded information to i...
Sreenath Ramanath, Mérouane Debbah, Eitan A...
ICPR
2008
IEEE
15 years 4 months ago
Dunn's cluster validity index as a contrast measure of VAT images
This paper addresses the relationship between the Visual Assessment of cluster Tendency (VAT) algorithm and Dunn’s cluster validity index. We present an analytical comparison in...
Timothy C. Havens, James C. Bezdek, James M. Kelle...
VISUALIZATION
1998
IEEE
15 years 2 months ago
Hierarchical volume analysis and visualization based on morphological operators
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
Christoph Lürig, Thomas Ertl