Sciweavers

3974 search results - page 96 / 795
» Metric Functional Dependencies
Sort
View
VTS
2000
IEEE
108views Hardware» more  VTS 2000»
14 years 1 months ago
High-Level Observability for Effective High-Level ATPG
This paper focuses on observability, one of the open issues in High-Level test generation. Three different approximate metrics for taking observability into account during RT-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
13 years 9 months ago
An analytical framework to infer multihop path reliability in MANETs
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
Nelson Antunes, Gonçalo Jacinto, Antó...
ENTCS
2007
102views more  ENTCS 2007»
13 years 9 months ago
Encoding Functional Relations in Scunak
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
Chad E. Brown
AVBPA
2005
Springer
296views Biometrics» more  AVBPA 2005»
14 years 2 months ago
Exploring Similarity Measures for Biometric Databases
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
Praveer Mansukhani, Venu Govindaraju
APPROX
2010
Springer
137views Algorithms» more  APPROX 2010»
13 years 11 months ago
Online Embeddings
We initiate the study of on-line metric embeddings. In such an embedding we are given a sequence of n points X = x1, . . . , xn one by one, from a metric space M = (X, D). Our goal...
Piotr Indyk, Avner Magen, Anastasios Sidiropoulos,...