|
|
|
|
|
|
|
|
|
Skolem function
| Глоссарий по искусственному интеллекту |
In formal inference, resolution proofs require that existential quantifiers be eliminated. a skolem function allows a system to replace an existentially qualified phrase such as exists(y)[a(x, y)&b(y)] with the phrase a(x, c(x))&b(c(x)), where c(x) is understood to stand for a function of x that returns a value of y satisfying the first clause. see also: resolution.
|
|
Functio, английский
Functio [onis, f], латинский
Function, английский
- Функция
- The particular work done by an organ what is the function of the pancreas? the function of an ovary is to form ova. verb to work in a particular way the heart and lungs were functioning normally. his kidneys suddenly stopped functioning. ‘…insulin’s primary metabolic function is to transport glucose into muscle and fat cells, so that it can be used for energy’ [nursing ’87] ‘…the aids virus attacks a person’s immune system and damages the ability to fight other disease. without a functioning immune system to ward off other germs, the patient becomes vulnerable to becoming infected’ [journal of american medical association]
- N функция article, language aspect ~ аспектная функция communicative ~ коммуникативная функция conative ~ конативная функция contextual ~ контекстная функция emotive ~ эмотивная функция individual generalizing ~ индивидуально- генерализующая функция individualizing ~ индивидуализирующая функция informative ~ информативная функция interpersonal ~ интерперсональная функция metalingual ~ металингвистическая функция phatic ~ фатическая функция poetic ~ поэтическая функция qualifying ~ квалификативная функция sign ~ знаковая функция strictural ~ функция сужения totalizing ~ стягивающая функция
- Функция airy`s stress ~ функция напряжений эри
- A function is a relationship that takes zero or more attributes and returns a single item that may be compound. in class and frame based systems, a function that takes a single term and returns a single term is sometimes called a slot. a multivariate function is a function that returns a compound object, such as a list or an array, which may be regarded as the specification of a single multi-dimensional item. see also: anonymous, class, function, slot.
- In mathematics, a relation between two or more 32 variables so that the values of one are dependent on, determined by or correspond to values in the other variables, its arguments; a transformation whose range is uniquely specified by its domain. in algebra and set theory, functions are often called many-to-one mappings or images. in processes of communication, functions are found in equivocating (->equivocation) codes. there is no presumption that a function must take numbers as arguments, nor that the correspondence be lawful. it can result from entirely arbitrary conventions (->symbol). the structural-functional school of sociology sees the parts of a social system to behave in such a way that they satisfy human and social needs and maintain one another and the totality. in this theory, regularly occuring acts that serve this purpose are called functions whereas those opposed to this are called dysfunctions. ~ theory
- A component which can be included in a synchronization rule or a workflow definition to process data values.
- A data service operation that is bound to a uri that does not have a sideeffect on data exposed by the data service.
- A piece of code that operates as a single logical unit. a function is called by name, accepts optional input parameters, and returns a status and optional output parameters. many programming languages support functions.
- A prewritten formula that simplifies the process of entering calculations and enables the user to use formulas that might be difficult to build from scratch.
- A standalone segment of code with a clear set of inputs and output that performs a speci c function and returns a value. it is essentially a procedure that returns a value. giga- - a pre x for a billion, (109) as in a gigabyte or gigahertz or gigabananas (billion bananas).
- A) the social purpose for which language is produced.
Function activity, английский
A workflow activity for simple data manipulations as a result of a request, e.g. concatenating the first name and last name of a user to produce the display name.
Function analysis system technique, английский
Системный метод функционального анализа
Function argument, английский
Аргумент функции
Function box, английский
Функциональный блок
Function button, английский
Функциональная клавиша; функциональная кнопка
Function call, английский
- Вызов функции; обращение к функции
- A program’s request for the services of a particular function.
Function call operator, английский
Оператор вызова функции
Function call tree, английский
Дерево функциональных вызовов
Function character, английский
Управляющий символ
Function check-out, английский
Function code, английский
Код режима работы; режим работы function-compatible совместимый по функциям; функционально-совместимый
Function compiler, английский
Полнофункциональный компилятор
Function constant, английский
Функциональная константа
Function control, английский
Function conversion, английский
Преобразование функции
Function curve, английский
Кривая действия (в графике)
Function declaration, английский
A statement consisting of a return type, followed by the function name, followed by a list of the names and types of formal parameters enclosed in parentheses.
Function declarator, английский
Объявление функции
Resolution, английский
- The smallest change in the parameter being measured that causes a detectable change in the output of the instrument.
- Разрешение
- Defines the smallest resolvable object in the target plane at a given range-to-target, atmospheric condition and target signal level ability of a telescope to differentiate between two objects in the sky which are separated by a small angular distance
- The measure of the fine detail that can be seen in an image. for analog systems this is typically measured in television lines or tvl. the higher the tvl rating, the higher the resolution.
- Refers to the degree of detail of an image. it is usually measured in dots per inch (dpi) or lines per inch (lpi). a high resolution gives a high quality image and vice versa.
- The quality of any digital image, whether printed or displayed on a screen, depends in part on its resolution—the number of pixels used to create the image. more and smaller pixels adds detail and sharpens edges. l optical is an absolute number that the camera`s image sensor can physically record. l interpolated adds pixels to the image using complex software algorithms to determine what color they should be. it is important to note that interpolation doesn`t add any new information to the image it just makes it bigger! camera makers often specify the resolution as: qvga (320 x 240), vga (640 x 480), svga (800 x 600), xga (1024 x 768) or uxga (1600 x 1200)
- A measure of picture resolving capabilities of a television system determined primarily by bandwidth, scan rates and aspect ratio. relates to fineness of details perceived.
- The ability to distinguish fine detail or resolve information within an image.
- Refers to the number of pixels, both horizontally and vertically, used to either capture or display an image. the higher the resolution, the finer the image detail will be.
- The quality of any digital image, whether printed or displayed on a screen, depends on its resolution, or the number of pixels used to create the image. more, smaller pixels add detail and sharpen the edges.
- 1. the amount of detail which can be seen in a microscope or on a computer monitor 2. a point in the development of a disease where the inflammation begins to disappear
- Наименьшее расстояние между деталями, обеспечивающее их захват роботом
- Разложение (на составляющие) ~ of forces разложение сил ~ of vector разложение вектора
- Resolution is a rule used in logical inference. it states that if there is an axiom of the form (a or b) and another of the form (not(b) or c), then (a or c) logically follows. see also: modus ponens, modus tollens.
- Разрешающая способность. способность значимо различать близкие значения [28].
- A measure of the fineness of detail in an image or text, usually as produced by a monitor or printer.
- Loosely speaking, the quality of an image. when printing or working with images, the resolution is usually measured in dots per inch (dpi) - the more dots per inch, the higher the quality of the image but the larger the file needed to store it. in windows, the screen resolution is how many- pixels- fit on the desktop, the most popular being 800 x 600 and 1024 x 768 - the former makes images, icons etc look bigger, but the latter means you can fit more of them on the screen.
- The process of translation between a domain name address and an ip address.
- A document that records a decision or action by a board of directors, or a bond resolution by a government entity authorizing a bond issue.
- The number of dots in an image’s screen display or printed output. a monitor’s resolution refers to the number of pixels per linear inch. printed resolution refers to dots per linear inch. (see dpi.)
- The ability to distinguish between two points in an image
- Разрешающая способность. мера способности видеокамеры или телевизионной системы воспроизводить детали. число элементов изображения, которые могут быть воспроизведены с хорошей четкостью.
- Aspect of image quality pertaining to a system’s ability to reproduce objects, often measured by resolving a pair of adjacent objects or parallel lines. see also line pair; resolving power.
- Aspect of image quality pertaining to a system’s ability to depict objects, often measured by distinguishing (resolving) a pair of adjacent objects or parallel lines.
- A system’s ability to depict two objects or signals in close proximity as separate from one another. resolution, or resolving power, varies with size, distance, sensor characteristics, object shape, object color, and contrast. see also line pair; vision acuity.
- An aspect of image quality pertaining to a system’s ability to reproduce objects, often measured by resolving a pair of adjacent objects or parallel lines.6
Eliminated, английский
Устраненный; исключенный
Understood, английский
|
Analytic model, английский
In data mining, a structure and process for analyzing and summarizing a database. some examples would include a classification and regression trees (cart) model to classify new observations, or a regression model to predict new values of one (set of) variable(s) given another set. see also: data mining, knowledge discovery in databases.
Commutative property, английский
In formal logic, an (binary) operator is commutative if the order of the arguments does not change the value of the result. in ordinary arithmetic, addition and multiplication are both commutative as a+b = b+a and a*b = b*a. this does not hold for example in matrix multiplication where multiplication is not commutative. compatibility modification inference (cmi) a class of methods for performing inference using fuzzy logic. given a fuzzy rule, a cmi system first determines the degrees to which the antecedent of a rule is matched and uses that value to determine the strength of the consequence.
|
|
|
|
|
|
|
