Sentence examples for models described using from inspiring English sources

Automated planning requires action models described using languages such as the Planning Domain Definition Language (PDDL) as input, but building action models from scratch is a very difficult and time-consuming task, even for experts.

Finally, for those laboratories that are not easily able to carry out studies on traditional mammalian animal models, there are new models described using invertebrate hosts and fertilized eggs.

For the energy model, we adopt the first-order radio model described using [32,33].

In this model, described using MOF class diagrams, the architecture of the system and its configuration are separated.

Additionally, the system model (described using a dialect of high-level Petri-nets) allows to reason about the system and to check conformance with the other models (task model, safety case and barriers).

Twenty-six models are described using a consistent nomenclature.

Models are described using an implementation of NeuroML [ 27].

Therefore, the rheology of blood in our model was described using a generalized power law model [30] eta=lambda(dot{gamma})|dot{gamma}|^{n(dot{gamma} -1} (15).

The paper is organized as follows: In Section 2, the signal model is described using a uniform linear array system.

Finally, a detailed model is described using VDM-SL, results are visualized by validation techniques available in VDM-SL toolbox to increase a confidence.

Formal model is described using Vienna Development Methods-Specification Language (VDM-SL) which has a detailed level of description with computer tools support (SCSK Corporation 2013).