1.11.2016 |
11:54:07 |
progr. |
2-dimensional object |
двумерный объект |
1.11.2016 |
11:50:45 |
progr. |
2-rank function |
функция 2-го ранга (operates on 2-dimensional objects (matrices)) |
1.11.2016 |
11:50:16 |
progr. |
vector rank function |
функция векторного ранга (operates on vectors, not scalars) |
1.11.2016 |
11:49:46 |
dat.proc. |
zero-dimensional data |
данные нулевой размерности (individual numbers) |
1.11.2016 |
11:49:15 |
progr. |
function rank |
ранг функции (functions that operate on data may be classified by the number of dimensions they act on. Ordinary multiplication, for example, is a scalar ranked function because it operates on zero-dimensional data (individual numbers). The cross product operation is an example of a vector rank function because it operates on vectors, not scalars. Matrix multiplication is an example of a 2-rank function, because it operates on 2-dimensional objects (matrices)) |
1.11.2016 |
11:47:55 |
progr. |
array orientation |
массиво-ориентированный подход (looks to group data and apply a uniform handling) |
1.11.2016 |
11:45:53 |
progr. |
array orientation |
массиво-ориентированное программирование |
1.11.2016 |
11:45:14 |
progr. |
efficiency of execution of algorithms |
эффективность выполнения алгоритмов (the ~) |
1.11.2016 |
11:42:23 |
progr. |
high-level programming model |
модель высокоуровневого программирования |
1.11.2016 |
11:35:49 |
progr. |
vectorized operation |
векторная операция (an operation that operates on an entire array, regardless of whether it is executed on a vector processor or not) |
1.11.2016 |
11:34:29 |
progr. |
one-liner program |
программа в одну строку |
1.11.2016 |
11:34:29 |
progr. |
one-liner program |
программа в одну строку исходного кода |
1.11.2016 |
11:33:47 |
progr. |
array programming primitive |
примитив массиво-ориентированного программирования |
1.11.2016 |
11:22:42 |
progr. |
higher-dimensional arrays |
массивы размерности больше двух (из кн.: Смоленцев Н.К. MATLAB. Программирование на Visual С#, Borland JBuilder, VBA) |
1.11.2016 |
11:20:50 |
progr. |
higher-dimensional arrays |
массивы высокой размерности (из кн.: Стивенс Р. Алгоритмы: Теория и практическое применение) |
1.11.2016 |
11:18:35 |
progr. |
vector language |
язык массиво-ориентированного программирования |
1.11.2016 |
11:18:35 |
progr. |
multidimensional language |
язык массиво-ориентированного программирования |
1.11.2016 |
11:17:59 |
AI. |
disjunctive logic programming |
дизъюнктивное логическое программирование |
1.11.2016 |
11:15:43 |
AI. |
disjunctive logic programming system |
система дизъюнктивного логического программирования |
1.11.2016 |
11:14:19 |
AI. |
combinatorial explosion of clauses |
комбинаторный взрыв вызовов дизъюнктов |
1.11.2016 |
11:12:51 |
AI. |
converting into a boolean-logic form |
преобразование в булевые формулы |
1.11.2016 |
11:09:52 |
AI. |
generate-and-test organization |
организация перебора (вариантов решения) |
1.11.2016 |
11:08:59 |
AI. |
answer set programming |
программирование с поиском устойчивой модели |
1.11.2016 |
11:08:27 |
AI. |
answer set solver |
решатель задач с множеством ответов |
1.11.2016 |
11:07:56 |
AI. |
backtracking-based search process |
процесс поиска с возвратом |
1.11.2016 |
11:07:08 |
AI. |
set of potential solutions |
множество потенциальных решений |
1.11.2016 |
11:05:35 |
AI. |
find a stable model |
выполнить поиск устойчивой модели |
1.11.2016 |
10:55:44 |
ling. |
be semantically equivalent to writing |
по своему значению равносильно (написанию) ...) |
1.11.2016 |
10:55:18 |
ling. |
be semantically equivalent to |
по своему значению равносильно (чему-либо) |
1.11.2016 |
10:54:42 |
progr. |
conditional literal |
условный литерал |
1.11.2016 |
10:54:13 |
AI. |
stable model semantics |
семантика устойчивых моделей |
1.11.2016 |
10:53:52 |
AI. |
constrained choice |
выбор в ограничениях |
1.11.2016 |
10:53:39 |
AI. |
constrained |
в ограничениях |
1.11.2016 |
10:53:31 |
AI. |
constrained choice rule |
правило выбора в ограничениях |
1.11.2016 |
10:53:06 |
AI. |
under the stable model semantics |
в семантике устойчивых моделей |
1.11.2016 |
10:52:37 |
AI. |
programs with choice rules |
программа, основанная на правилах выбора |
1.11.2016 |
10:51:48 |
AI. |
rule with constraints |
правило с ограничениями |
1.11.2016 |
10:50:53 |
AI. |
answer set programming |
программирование с множеством ответов |
1.11.2016 |
10:50:38 |
AI. |
answer set programming in logic |
логическое программирование с множеством ответов |
1.11.2016 |
10:49:05 |
AI. |
answer set |
множество ответов |
1.11.2016 |
10:46:42 |
AI. |
propositional satisfiability |
выполнимость булевых формул (boolean satisfiability) |
1.11.2016 |
10:45:58 |
AI. |
propositional satisfiability problem |
задача выполнимости булевых формул (boolean satisfiability problem) |
1.11.2016 |
10:45:45 |
AI. |
SAT |
задача выполнимости булевых формул (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей) |
1.11.2016 |
10:45:19 |
AI. |
boolean satisfiability problem |
задача выполнимости булевых формул |
1.11.2016 |
10:43:07 |
AI. |
backtracking-based search algorithm |
алгоритм поиска с возвратом (for deciding ... – для решения ...) |
1.11.2016 |
10:40:58 |
HR |
success story |
история карьерного успеха |
1.11.2016 |
10:36:06 |
progr. |
logic programming paradigm |
парадигма логического программирования |
1.11.2016 |
10:34:41 |
progr. |
lead to an infinite loop |
приводить к зацикливанию алгоритма |
1.11.2016 |
10:34:41 |
progr. |
lead to an infinite loop |
приводить к возникновению бесконечного цикла |
1.11.2016 |
10:33:55 |
progr. |
query evaluation |
выполнение запроса |
1.11.2016 |
10:32:51 |
AI. |
answer set solver |
решатель-генератор устойчивых моделей |
1.11.2016 |
10:32:23 |
AI. |
answer set solver |
решатель задач поиска устойчивых моделей (program for generating stable models) |
1.11.2016 |
10:31:49 |
AI. |
answer set |
устойчивая модель (stable model) |
31.10.2016 |
19:30:46 |
robot. |
robotics programming |
программирование робототехнических комплексов |
31.10.2016 |
19:30:09 |
robot. |
robotics programming |
программирование робототехнических систем |
31.10.2016 |
19:28:01 |
IT |
parallel processing machine |
параллельная вычислительная система |
31.10.2016 |
19:25:33 |
progr. |
directed graph of the data flowing between operations |
направленный граф потоков данных между операциями |
31.10.2016 |
19:20:02 |
logic |
one-sided unification |
односторонняя унификация |
31.10.2016 |
19:17:40 |
AI. |
concurrent logic programming |
многопоточное логическое программирование |
31.10.2016 |
19:17:22 |
AI. |
non-concurrent logic programming |
последовательное логическое программирование |
31.10.2016 |
19:00:05 |
AI. |
be solving a goal |
доказывать цель |
31.10.2016 |
18:59:01 |
progr. |
non-concurrent programming |
последовательное программирование |
31.10.2016 |
18:57:06 |
AI. |
be used for proving a goal |
использоваться для доказательства цели (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ) |
31.10.2016 |
18:54:33 |
AI. |
natural language processing |
понимание естественного языка (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ) |
31.10.2016 |
18:53:44 |
progr. |
AI language |
язык программирования для искусственного интеллекта (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ) |
31.10.2016 |
18:34:05 |
progr. |
pattern-matching language |
язык программирования с оператором сопоставления с образцом |
31.10.2016 |
18:30:08 |
AI. |
semantic modeling |
семантическое моделирование (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ) |
31.10.2016 |
18:27:49 |
AI. |
interact via the constraint store |
взаимодействовать через хранилище ограничений (говоря об одновременно выполняемых потоках доказательства цели в многопоточном логическом программировании в ограничениях) |
31.10.2016 |
18:27:08 |
AI. |
goal evaluation |
доказательство цели (требующее построения цепочки правил (в логическом программировании); из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ) |
31.10.2016 |
18:22:26 |
AI. |
guard of the clause |
охранное условие дизъюнкта |
31.10.2016 |
18:22:26 |
AI. |
guard of the clause |
охрана дизъюнкта |
31.10.2016 |
18:13:24 |
AI. |
constraint store |
хранилище ограничений (при многопоточном логическом программировании в ограничениях) |
31.10.2016 |
18:11:05 |
AI. |
constraint simplifier |
механизм упрощения ограничений (при логическом программировании в ограничениях) |
31.10.2016 |
18:09:51 |
progr. |
non-concurrent constraint logic programming |
последовательное логическое программирование в ограничениях |
31.10.2016 |
18:09:34 |
progr. |
non-concurrent |
последовательный |
31.10.2016 |
18:04:31 |
rhetor. |
the only exception being that |
за единственным исключением, что |
31.10.2016 |
17:57:47 |
AI. |
concurrent constraints logic program |
многопоточная логическая программа для решения задач удовлетворения ограничений |
31.10.2016 |
17:48:25 |
AI. |
linked data standard |
стандарт представления связанных данных (для распрострения информации в машиночитаемом виде, напр., RDF, SPARQL) |
31.10.2016 |
17:45:51 |
AI. |
semantic knowledge graph |
граф семантических знаний |
31.10.2016 |
17:43:58 |
inet. |
linked data |
связанные данные (коллекция взаимосвязанных наборов данных во Всемирной паутине. Под этим термином может также пониматься описание методов публикования связанных между собой структурированных данных. Данные методы базируются на стандартах Всемирной паутины, таких как HTTP, RDF и URIs и позволяют распространять информацию в машиночитаемом виде. Это делает возможным работу с данными из разных источников (в том числе возможность строить запросы)) |
31.10.2016 |
17:42:15 |
inet. |
semantic tag |
семантический тег |
31.10.2016 |
17:41:18 |
philos. |
differentia specifica |
наличие у понятий различимого качества (как основа для группировки понятий в классы) |
31.10.2016 |
17:38:14 |
d.b.. |
logical database theory |
теория логических баз данных |
31.10.2016 |
17:34:04 |
comp., net. |
GGG |
гигантский глобальный граф (сокр. от "giant global graph") |
31.10.2016 |
17:34:04 |
comp., net. |
giant global graph |
гигантский глобальный граф |
31.10.2016 |
17:32:03 |
AI. |
semantic web language |
язык семантической паутины |
31.10.2016 |
17:29:34 |
AI. |
reasoning algorithm |
алгоритм формирования рассуждений |
31.10.2016 |
17:27:45 |
AI. |
open-world assumption |
предположение об открытости мира (предположение в формальной логике о том, что истинность утверждения не зависит от того, известно ли какому-либо агенту о верности данного утверждения) |
31.10.2016 |
17:27:45 |
AI. |
open-world assumption |
допущение открытости мира (the unmentioned literals are unknown) |
31.10.2016 |
17:26:38 |
progr. |
closed-world assumption |
предположение о замкнутости мира (ложно любое утверждение, о котором не известно, что оно верно) |
31.10.2016 |
17:23:10 |
progr. |
compilation techniques |
методы компиляции |
31.10.2016 |
17:22:38 |
AI. |
complexity of planning |
сложность планирования |
31.10.2016 |
17:19:51 |
AI. |
precondition for the execution of an action |
предусловие выполнения действия |
31.10.2016 |
17:19:39 |
AI. |
define the preconditions for the execution of an action |
определять предусловия выполнения действия |
31.10.2016 |
17:17:36 |
AI. |
partially specified condition |
условие, частично определённое в спецификации |
31.10.2016 |
17:17:06 |
AI. |
chain of actions which lead to a desired goal |
цепочка действий, ведущая к поставленной цели |
31.10.2016 |
17:15:12 |
dat.proc. |
manipulation of symbols |
обработка символов |
31.10.2016 |
17:13:35 |
progr. |
assembly language for manipulating lists |
язык ассемблера для обработки списков |
31.10.2016 |
17:11:48 |
progr. |
automatic garbage collection |
автоматическое управление памятью (автоматическое управление освобождением динамической памяти; русс. термин "автоматическое управление памятью" взят из кн.: Рихтер Дж. CLR via C#. Программирование на платформе Microsoft .NET Framework 2.0 на языке C#; Савихин О.Г Основы разработки приложений в Microsoft Visual Studio .NET) |
31.10.2016 |
17:10:12 |
gen. |
over the next several decades |
в течение нескольких следующих десятилетий |