Sentence examples for are specified with from inspiring English sources

"Obviously true" properties of programs can be hard to prove when meanings are specified with a denotational semantics.

This so-called direct manipulation approach differs substantially from the traditional source language model, in which document semantics (structures and appearances) are specified with interspersed markup commands.

The size of the pointer vector is fixed at creation and must be an integer greater than 0. Pointers to variables are specified with the pset method.

Control models are specified with IEC FED (Function Block Diagram), and translated into functionally equivalent HLTPNs (High-Level Timed Petri Nets), through MetaEnv, for analysis and simulation and obtained results are presented in terms of suitable animations of FED blocks.

Although the general trade-off strategies concern about the importance weights of CRs, which are specified with a variety of methods, they ignore the influence of the degree of compensation among them.

The basis functions are specified with α = (m,n,G).

It is specified with set_framemode command.

A hedonic price model is specified with GIS measures.

The TCL installation directory can be specified with the --with-tcl coptionre option.

The containerdn and linkdn options cannot be specified with the dn option.

The column to use to determine the grouping must be specified with the xcolumn parameter.