Sentence examples for system for enumerating from inspiring English sources

In the following, we first sketch the CEGARTIX approach from [21] for skeptical acceptance under preferred semantics and subsequently outline the PrefSat approach [82], implemented in the ArgSemSAT system, for enumerating all preferred extensions.

It has been hypothesised that human adults, infants, and non-human primates share two non-verbal systems for enumerating objects, one for representing precisely small quantities (up to 3 4 items) and one for representing approximately larger quantities.

This system aims to provide a fast implementation of a labeling-based algorithm for enumerating all preferred extensions (cf. Algorithm 4).

Constraint classes from the structural viewpoint are useful for enumerating modeling assumptions because they rather suggest the components and their relations of a system.

Herigstad, B., Hamilton, M. & Heersink, J. How to optimize the drop plate method for enumerating bacteria.

Dichloran 18% glycerol agar performs well for enumerating moderately xerophilic yeasts and moulds.

An algorithm for enumerating all non-dominated vectors of multiple objective integer linear programs is presented.

The suggested approach uses a Pareto optimal search from multi-objective optimisation for enumerating alternative solutions.

Furthermore, a byproduct of computing treewidth is a framework for enumerating computationally compatible distributed algorithms.

We compare MFSTMINER with EVOMINER[ 10], an algorithm for enumerating all FSTs, and show that enumerating MFSTs can be orders of magnitude faster than enumerating all FSTs.

Fig. 5 Distributions of predicted Tg values for enumerated isomers and for isomers found in PubChem.