3974 search results - page 42 / 795 » Metric Functional Dependencies |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Competitive on-line prediction (also known as universal prediction of individual sequences) is a strand of learning theory avoiding making any stochastic assumptions about the way...
ASPDAC
2012
ACM
12 years 4 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
—The importance of introducing distance constraints to data dependencies, such as differential dependencies (DDs) [28], has recently been recognized. The metric distance constrai...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
COCOON
2008
Springer
13 years 11 months ago
2008
Springer
Given two sets of points in the plane, we are interested in locating a highway h such that an objective function on the city distance between points of the two sets is minimized (w...