Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Albanian
Amharic
Arabic
Armenian
Assamese
Azerbaijani
Bashkir
Basque
Bengali
Bosnian
Bosnian cyrillic
Bulgarian
Catalan
Chinese
Chinese Taiwan
Chinese simplified
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Filipino
Finnish
French
Galician
Georgian
German
Greek
Gujarati
Hausa
Hebrew
Hindi
Hungarian
Icelandic
Igbo
Indonesian
Inuktitut
Irish
Italian
Japanese
Kalmyk
Kannada
Kazakh
Khmer
Kinyarwanda
Konkani
Korean
Kyrgyz
Lao
Latin
Latvian
Lithuanian
Luxembourgish
Macedonian
Malay
Malayalam
Maltese
Maori
Marathi
Nepali
Norwegian
Norwegian Bokmål
Odia
Pashto
Persian
Polish
Portuguese
Punjabi
Quechuan
Romanian
Russian
Scottish Gaelic
Serbian Latin
Sesotho sa leboa
Sinhala
Slovak
Slovene
Spanish
Swahili
Swedish
Tajik
Tamil
Tatar
Telugu
Thai
Tswana
Turkish
Turkmen
Ukrainian
Urdu
Uzbek
Vietnamese
Welsh
Wolof
Xhosa
Yoruba
Zulu
Terms
for subject
Artificial intelligence
containing
автоматическое
|
all forms
|
exact matches only
Russian
English
автоматическая
генерация тестов
automatic test generation
автоматическая
обработка естественного языка
automated language processing
(
Alex_Odeychuk
)
автоматическая
обработка естественных языков
automated language processing
(
Alex_Odeychuk
)
автоматическая
обработка текстов на естественном языке
automated natural language processing
(
Alex_Odeychuk
)
автоматически
регулируемый
self-regulating
(
Alex_Odeychuk
)
автоматические
рассуждения
automatic reasoning
(
Alex_Odeychuk
)
автоматические
средства оценивания
automated means of evaluation
(напр., качества перевода
Alex_Odeychuk
)
автоматический
анализ видеоинформации
machine vision
(
Alex_Odeychuk
)
автоматический
анализ видеоинформации
computer vision
(
Alex_Odeychuk
)
автоматический
анализ скрытых закономерностей в данных
automatic data mining
(
Alex_Odeychuk
)
автоматический
доказатель теорем
prover
(корпорации AdaCore
Alex_Odeychuk
)
автоматический
доказатель теорем
automatic theorem prover
(Microsoft
Alex_Odeychuk
)
автоматический
доказатель теорем для задач выполнимости формул в теориях
automatic theorem prover for satisfiability modulo theories problems
(
Alex_Odeychuk
)
автоматический
доказатель теорем для задач выполнимости формул в теориях
automatic theorem prover for SMT problems
автоматический
доказатель теорем о выполнимости формул в теориях
automatic theorem prover for satisfiability modulo theories
(
Alex_Odeychuk
)
автоматический
перебор альтернатив
automatic processing of alternatives
(механизмом перебора (поиска) с возвратом в коде на языке логического программирования
Alex_Odeychuk
)
автоматический
перебор с возвратами
automatic backtracking
(
Alex_Odeychuk
)
автоматический
перебор с возвратом
automatic backtracking
(
Alex_Odeychuk
)
автоматический
планировщик
automated planner
(
Alex_Odeychuk
)
автоматический
поиск с возвратом
automatic backtracking
(
Alex_Odeychuk
)
автоматический
поиск скрытых закономерностей в данных
automatic data mining
(
Alex_Odeychuk
)
автоматический
синтез информации
information fusion
(
Alex_Odeychuk
)
автоматическое
аннотирование видеоматериалов
automatic annotation of video
(
Alex_Odeychuk
)
автоматическое
доказательство теорем
automated deductio
(синоним термина "automated theorem proving"
Alex_Odeychuk
)
автоматическое
доказательство теорем
automated deduction
(
Alex_Odeychuk
)
автоматическое
доказательство теорем
automated theorem proving
(
Alex_Odeychuk
)
автоматическое
доказательство теорем
ATP
(сокр. от "automated theorem proving"
Alex_Odeychuk
)
автоматическое
доказательство теорем геометрии
automated geometric theorem proving
(
Alex_Odeychuk
)
автоматическое
извлечение знаний
automatic knowledge acquisition
(
Alex_Odeychuk
)
автоматическое
комментирование видеозаписей
automatic video commenting
(
Alex_Odeychuk
)
автоматическое
комментирование видеоматериалов
automatic video commenting
(
Alex_Odeychuk
)
автоматическое
конструирование баз знаний для поддержки логического вывода
automatic construction of inference-supporting knowledge bases
(
Alex_Odeychuk
)
автоматическое
обнаружение знаний в данных
automatic data mining
(
Alex_Odeychuk
)
автоматическое
планирование
automated planning
(
Alex_Odeychuk
)
автоматическое
постредактирование
automatic post-editing
(
Alex_Odeychuk
)
автоматическое
распознавание типа личности
computational personality recognition
(
Lory Rosh
)
автоматическое
распознавание типа личности по тексту
personality recognition from text
(часто сокращается как PRT – см. работы Fabio Celli
Lory Rosh
)
автоматическое
рассуждение
automatic reasoning
(
Alex_Odeychuk
)
автоматическое
создание обзоров информационного наполнения текстовых и аудиовизуальных материалов
automatic summarization
(text, video, and audio
Alex_Odeychuk
)
алгоритм
автоматического
управления
automated control algorithm
(
Alex_Odeychuk
)
виртуальный собеседник с механизмом
автоматической
обработки естественного языка
natural language processing chatterbot
(
Alex_Odeychuk
)
выполнять
автоматическое
обнаружение предвзятых формулировок в тексте
automatically identify biased language in text
(CNN
Alex_Odeychuk
)
задача
автоматического
планирования
automated planning problem
(
Alex_Odeychuk
)
инструмент для
автоматической
генерации описаний к запросам на включение изменений
tool for automatically generating descriptions for pull requests
(
Alex_Odeychuk
)
интерактивная система
автоматического
доказательства теорем
interactive proof checker
(корпорации AdaCore
Alex_Odeychuk
)
информация, прошедшая
автоматическую
аналитическую обработку
automated insights
(
Alex_Odeychuk
)
конкурс систем
автоматического
доказательства теорем
ATP system competition
(ATP – сокр. от "automated theorem proving"
Alex_Odeychuk
)
методология
автоматического
доказательства теорем
theorem proving methodology
(автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта
Alex_Odeychuk
)
механизм
автоматического
формирования рассуждений
automated reasoning engine
(
Alex_Odeychuk
)
результаты
автоматической
аналитической обработки
automated insights
(
Alex_Odeychuk
)
система
автоматического
доказательства теорем
proof assistant
(
Alex_Odeychuk
)
система
автоматического
доказательства теорем
automated theorem prover
(Microsoft
Alex_Odeychuk
)
система
автоматического
доказательства теорем
automated theorem proving system
(
Alex_Odeychuk
)
система
автоматического
доказательства теорем
ATP system
(сокр. от "automated theorem proving system"
Alex_Odeychuk
)
система
автоматического
доказательства теорем общего назначения
generic proof assistant
(
Alex_Odeychuk
)
система
автоматического
планирования и составления графика
automated planning and scheduling system
(
Alex_Odeychuk
)
система
автоматической
классификации текстов правовых актов
system to automatically classify legal text
(
Alex_Odeychuk
)
система с искусственного интеллекта для
автоматической
генерации тестов
AI for automatic test generation
(
Alex_Odeychuk
)
системой
автоматического
доказательства теорем
theorem prover
(
Alex_Odeychuk
)
технология
автоматического
распознавания речи
automatic speech recognition technology
(
Alex_Odeychuk
)
технология
автоматического
распознавания речи
ASR technology
(ASR – сокр. от "automatic speech recognition"
Alex_Odeychuk
)
язык описания задач
автоматического
планирования
action language
(
Alex_Odeychuk
)
язык описания задач
автоматического
планирования
language for expressing automated planning problem instances
(
Alex_Odeychuk
)
язык описания логических систем для
автоматического
поиска доказательств
automated verification and proof description language
(
Alex_Odeychuk
)
язык программирования на основе
автоматического
доказательства теорем
theorem proving language
(
Alex_Odeychuk
)
Get short URL