linear resolution - translation to russian
DICLIB.COM
AI-based language tools
Enter a word or phrase in any language 👆
Language:     

Translation and analysis of words by artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

linear resolution - translation to russian

THEOREM PROVER, A MATHEMATICAL CONCEPT
Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

linear resolution      

математика

линейная резолюция

hi-res         
  • 1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

Смотрите также

high-resolution

high-rez         
  • 1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

общая лексика

спец

технически грамотный (разумный) человек, который, в отличие от low-rez персоны, не сторонится новых технологий, но и не полагается на них полностью

Смотрите также

high resolution

Definition

linear map
<mathematics> (Or "linear transformation") A function from a vector space to a vector space which respects the additive and multiplicative structures of the two: that is, for any two vectors, u, v, in the source vector space and any scalar, k, in the field over which it is a vector space, a linear map f satisfies f(u+kv) = f(u) + kf(v). (1996-09-30)

Wikipedia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

What is the Russian for linear resolution? Translation of &#39linear resolution&#39 to Russian