468 search results - page 42 / 94 » Discovering The Relationships Between Metrics |
ICNP
1999
IEEE
15 years 4 months ago
1999
IEEE
The Border Gateway Protocol, BGP, is currently the only interdomain routing protocol employed on the Internet. As required of any interdomain protocol, BGP allows policy-based met...
ENTCS
2007
14 years 11 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
133
click to vote
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
107
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Clustering is one of the most commonly used methods for discovering hidden structure in microarray gene expression data. Most current methods for clustering samples ar...
104
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
We introduce a theoretical framework for discovering relationships between two database instances over distinct and unknown schemata. This framework is grounded in the context of ...