Sciweavers

379 search results - page 10 / 76
» metrics 2003
Sort
View
ISQED
2003
IEEE
71views Hardware» more  ISQED 2003»
15 years 2 months ago
Revisiting the Noise Figure Design Metric for Digital Communication Receiver
Noise figure is a commonly used system parameter that quantifies the degradation in the signal-to-noise ratio (SNR) as the signal passes through a receiving system. Because of the...
Won Namgoong, Jongrit Lerdworatawee
UAI
2003
14 years 11 months ago
Layerwidth: Analysis of a New Metric for Directed Acyclic Graphs
We analyze a new property of directed acyclic graphs (DAGs), called layerwidth, arising from a class of DAGs proposed by Eiter and Lukasiewicz. This class of DAGs permits certain ...
Mark Hopkins
WWW
2003
ACM
15 years 10 months ago
Techniques and Metrics for Improving Website Structure
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
Eleni Christopoulou, John D. Garofalakis, Christos...
ADC
2003
Springer
127views Database» more  ADC 2003»
15 years 2 months ago
M+-tree : A New Dynamical Multidimensional Index for Metric Spaces
In this paper, we propose a new metric index, called M+ -tree, which is a tree dynamically organized for large datasets in metric spaces. The proposed M+ -tree takes full advantag...
Xiangmin Zhou, Guoren Wang, Jeffrey Xu Yu, Ge Yu
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 1 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi