Sentence examples for efficient logic from inspiring English sources
An important feature of the system is the use of a very efficient logic programming solver, the Leibniz System, which is capable of generating fast solution algorithms for the decision problems associated with traffic signal setting.
A special-purpose theorem prover does not draw its main benefit by restricting its attention to the domain axioms but from the fact that the domain may enjoy particular theorem-proving techniques which can be hardwired coded within the reasoning program itself and which may result in a more efficient logic implementation.
Simon Parkin of Game Set Watch agreed, believing the game is best enjoyed when one thinks like a child as "free of the dry, efficient logic of adulthood, a child's imagination also opens the game up in ways beyond most adults' reach".
There is no obvious reason to expect the logic identities of Table 2 to lead to efficient logic circuits, but it will be shown that optimal architectures based on these identities are quite efficient in several ways.
A new approach has been devised to implement efficient digital logic gates using the proposed 2n:1 multiplexer.
In this study, an efficient fuzzy logic system (FLS) based on triangular type-2 fuzzy sets is designed.
This paper reports the use of simulated annealing to design more efficient fuzzy logic systems to model problems with associated uncertainties.
This paper presents improved and efficient reversible logic implementations for Binary Coded Decimal (BCD) adder as well as Carry Skip BCD adder.
This paper presents a low voltage and high performance 1-bit full adder designed with an efficient internal logic structure that leads to have a reduced Power Delay Product (PDP).
SUIT provides a balanced congestion level via its efficient fuzzy logic-based congestion estimation technique.
Clearly, it is critical that this circuitry be as efficient as possible; logic design deals with optimizing the circuitry, not just putting together something that will work.
