Sentence examples for more efficient logic from inspiring English sources

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.

This paper reports the use of simulated annealing to design more efficient fuzzy logic systems to model problems with associated uncertainties.

Electronic implementations of the logic circuits may be more efficient than current electronic logic arrays in generating both Boolean and fuzzy logic.

Electronic implementations of BC n-RANCs may be more efficient than current electronic logic arrays in generating both Boolean and fuzzy logic.

This technology allows for a more efficient separation between application logic and underlying models describing the peculiarities of the environment, and brings down to each entity the possibility to understand newly discovered other entities and to create bindings with the environment [ 29].

Comparing the quality metrics shown in Table 14, it is notable that the Z-score memory consumption was 1.10%, 10.30%, 54.30%, 0.79%, and 50.11% more efficient than the VEDAS, fuzzy logic, back-propagation, Join Driving and Naïve Bayes classifier, respectively.

The logic is simple: more efficient lawyers, distributors or banks enable firms across the economy to become more productive.

This type of reconfigurable circuits tends to be more and more efficient in terms of speed and logic resources and is more and more envisaged in deeply constrained applications.

Thirdly, we are going to investigate the possibility of using Description Logic as a more efficient alternative to FOL.

Among the most popular on-chip macros are microprocessor cores, preferred because there are ten times more programmers than logic designers and because programming is a higher-level abstraction than logic design, making microprocessor engineers more efficient.

A principled approach to specifying more efficient inference mechanisms is to use weaker logics with non-standard model theories.