linear resolution
Смотреть что такое "linear resolution" в других словарях:
Semi-linear resolution — (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively deepening depth first search. It is one method used in automated theorem proving.SLR performs linear derivations from the input clauses … Wikipedia
Linear actuator — TOC A linear actuator is a device that develops force and motion, from an available energy source, in a linear manner, as opposed to rotationally like an electric motor. There are various methods of achieving this linear motion. Several different … Wikipedia
Linear Algebra Package — Sommaire 1 Objectifs 2 Résolution du problème avec les processeurs multi cœurs 3 Voir aussi 4 Liens externes LAPACK (pour Linear Alge … Wikipédia en Français
Linear forms in logarithms — In number theory the method of linear forms in logarithms is the application of estimatesfor the magnitude of a finite sum: Sigma; beta; i log α i = Lambda;where the α i and beta; i are algebraic numbers. In case of α i a complex number, one has… … Wikipedia
resolution — /rez euh looh sheuhn/, n. 1. a formal expression of opinion or intention made, usually after voting, by a formal organization, a legislature, a club, or other group. Cf. concurrent resolution, joint resolution. 2. a resolve or determination: to… … Universalium
Linear Variable Differential Transformer — Vue en coupe d un LVDT. Un courant est généré dans la bobine primaire A, entraînant un courant induit dans la bobine secondaire B Un LVDT (de l anglais Linear Variable Differential Transformer) est un capteur électrique passif (inductif) de… … Wikipédia en Français
resolution — res•o•lu•tion [[t]ˌrɛz əˈlu ʃən[/t]] n. 1) gov a formal expression of opinion or intention made, usu. after voting, by a formal organization, a legislature, or other group 2) a resolve or determination 3) the act of resolving or determining upon… … From formal English to slang
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
Non-linear editing system — NLE redirects here. For the standardized test, see National Latin Examination. For non linear or non destructive editing of 2D images, see Non destructive editing. In video, a non linear editing system (NLE) is a video editing (NLVE) or audio… … Wikipedia
Code-excited linear prediction — (CELP) is a speech coding algorithm originally proposed by M.R. Schroeder and B.S. Atal in 1985. At the time, it provided significantly better quality than existing low bit rate algorithms, such as residual excited linear prediction and linear… … Wikipedia
Optical resolution — This article is about optical resolution in optics. For the method of separating enantiomers in chemistry, see Chiral resolution. Optical resolution describes the ability of an imaging system to resolve detail in the object that is being imaged.… … Wikipedia
