207 search results - page 21 / 42 » Synthesizing Switching Logic Using Constraint Solving |
105
click to vote
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
111
Voted
ICCAD
1998
IEEE
15 years 5 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
107
click to vote
FPGA
1997
ACM
15 years 5 months ago
1997
ACM
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...
111
click to vote
UAI
1993
15 years 2 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
227
click to vote
COSIT
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...