3974 search results - page 42 / 795 » Metric Functional Dependencies |
98
Voted
CORR
2006
Springer
15 years 3 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...
161
Voted
ASPDAC
2012
ACM
13 years 11 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...
137
Voted
ICDE
2012
IEEE
13 years 6 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...
128
Voted
DAC
2002
ACM
16 years 4 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...
122
Voted
COCOON
2008
Springer
15 years 5 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...