6800 search results - page 673 / 1360 » Testing with Functions as Specifications |
160
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
184
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
173
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce XCSF with support vector prediction: the problem of learning the prediction function is solved as a support vector regression problem and each classifie...
259
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
We target the problem of closed-loop learning of control policies that map visual percepts to continuous actions. Our algorithm, called Reinforcement Learning of Joint Classes (RLJ...
208
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a novel method for recovering the 3D structure and scene flow from calibrated multi-view sequences. We propose a 3D point cloud parametrization of the 3D structure and ...