2018 search results - page 247 / 404 » Code Normal Forms |
COLT
2003
Springer
15 years 3 months ago
2003
Springer
Recent work has introduced Boolean kernels with which one can learn linear threshold functions over a feature space containing all conjunctions of length up to k (for any 1 ≤ k ...
ICTCS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
VR
2000
IEEE
15 years 2 months ago
2000
IEEE
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...
ICCD
1999
IEEE
15 years 2 months ago
1999
IEEE
If a system-on-a-chip (SOC) contains an embedded processor, this paper presents a novel approach for using the processor to aid in testing the other components of the SOC. The bas...