Sciweavers

4255 search results - page 49 / 851
» On Learning Boolean Functions
Sort
View
FPGA
1998
ACM
146views FPGA» more  FPGA 1998»
14 years 2 months ago
Boolean Matching for Complex PLBs in LUT-based FPGAs with Application to Architecture Evaluation
In this paper, we developed Boolean matching techniques for complex programmable logic blocks (PLBs) in LUT-based FPGAs. A complex PLB can not only be used as a K-input LUT, but a...
Jason Cong, Yean-Yow Hwang
ICCV
2011
IEEE
12 years 10 months ago
Generalized Roof Duality for Pseudo-Boolean Optimization
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
Fredrik Kahl, Petter Strandmark
ISMVL
2007
IEEE
102views Hardware» more  ISMVL 2007»
14 years 4 months ago
A Generalization of the Deutsch-Jozsa Algorithm to Multi-Valued Quantum Logic
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
Yale Fan
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 4 months ago
Using conjugate symmetries to enhance gate-level simulations
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
Peter M. Maurer
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...