Сортировать по:
| Выпуск | Название | |
| Том 32, № 5 (2020) | Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения | Аннотация PDF (Rus) похожие документы |
| Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР | ||
| "... approach is based on a modifcation of the Marching Cubes algorithm aiming to remove ambiguous cases without ..." | ||
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... -and-term equivalence introduced in 1972 by V. Itkin. This is the most weak decidable equivalence ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... Equivalence checking algorithms found vast applications in system programming; they are used ..." | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... encounters with undecidability of equivalence checking problem for Turing-complete models of computation ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... In this paper we study the equivalence problem in the model of sequential programs which assumes ..." | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| "... важных и трудных задач в сфере анализа медицинских изображений. Недостаток автоматизации в этих задачах ..." | ||
| Том 29, № 4 (2017) | Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения | Аннотация похожие документы |
| О. Москалёва, А. Громова | ||
| "... on the equivalence classes methodology. The division into equivalence classes is performed after the analysis ..." | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... of unification on substitutions and programs, outline the recent results on program equivalence checking ..." | ||
| Том 32, № 4 (2020) | Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ | ||
| "... , ACMP). The paper studies the influence of the camera orientation inside the cube on the "cubemap pixel ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... transducers over semigroups. To check the equivalence of transducers and we associate with them a Labeled ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... by A.A. Lyapunov and A.A. Letichevsky. The theory of these models focuses on the equivalence checking ..." | ||
| Том 29, № 6 (2017) | Технология обработки изображений для гидравлических приложений | Аннотация похожие документы |
| Дж. Теллез-Альварез, М. Гомез, Б. Руссо | ||
| "... Digiflow и PIVlab, способных коррелировать изображения. ..." | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
| А. В. Когтенков | ||
| Том 30, № 1 (2018) | Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы | Аннотация похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| Том 32, № 3 (2020) | Рекомендательная система на основе действий пользователей в социальной сети | Аннотация похожие документы |
| Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ | ||
| "... была поставлена задача проанализировать изображения на фотографиях и проанализировать текст. Анализ ..." | ||
| Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) похожие документы |
| С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
| "... - задачи обработки сырых данных астрономических изображений. ..." | ||
| Том 32, № 3 (2020) | Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений | Аннотация похожие документы |
| Даниэл Игоревич СЕРГЕЕВ, Александр Евгеньевич АНДРЕЕВ, Анна Олеговна ДРОБИНЦЕВА, Слободанка ЦЕНЕВСКА, Никола КУКАВИЦА, Павел Дмитриевич ДРОБИНЦЕВ | ||
| "... Текущая работа ориентирована на обработку медицинских изображений, полученных путем проведения ..." | ||
| Том 32, № 4 (2020) | Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ | ||
| "... скрытого канала в инфокоммуникационных системах, узлы которых обмениваются цифровыми изображениями ..." | ||
| Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| Том 29, № 4 (2017) | Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ | Аннотация похожие документы |
| Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота | ||
| "... обучение и обработка изображений и прочие. Ввиду высокой вычислительной сложности преобразования Гаусса ..." | ||
| Том 32, № 4 (2020) | Использование синтетических данных для тонкой настройки моделей сегментации документов | Аннотация PDF (Rus) похожие документы |
| Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ | ||
| "... В рамках задачи автоматического анализа документов мы решаем задачу сегментации изображений ..." | ||
| Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация похожие документы |
| Андрей Николаевич Черных, Аллел Хаджали | ||
| "... , Китая, Уругвая, Испании, Пакистана, Кубы, Доминиканской Республики и России) охватывают несколько важных ..." | ||
| Том 27, № 3 (2015) | Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU | Аннотация PDF (Rus) похожие документы |
| А. А. Цыганов | ||
| "... В работе рассматривается метод оптимизации вычисления метрики схожести изображений с помощью ..." | ||
| Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) похожие документы |
| С. В. Попова, И. А. Ходырев | ||
| "... of some approaches shows their equivalence as applied to keyphrase extraction. A feature, which allows ..." | ||
| Том 26, № 2 (2014) | Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
| Л. Е. Карпов, В. Н. Юдин | ||
| "... that used to separate cases from the case base into classes of equivalence. To estimate not fully described ..." | ||
| Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... . Moreover, the equivalence of the algorithms is proved for the cases when a solved GCPSP problem is reduced ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... to produce an output. A variety of algorithms for equivalence checking, minimization and test generation were ..." | ||
| Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) похожие документы |
| Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| "... ограничений, таких как: неспособность работать с изменяющейся длиной текста на изображении, медленное и ..." | ||
| Том 28, № 2 (2016) | Моделирование конвейера распознавания людей в системах контроля доступа | Аннотация похожие документы |
| Ф. Гёссен, Т. Маргариа, Т. Гёке | ||
| "... этой статье, фокусируются на генерации фронтальных изображений лиц людей - это часть конвейера ..." | ||
| Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
| А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
| "... , включая обработку космических изображений и цифровых моделей рельефа с использованием методов и технологий ..." | ||
| Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) похожие документы |
| А. М. Водовозов, Д. С. Полетаев | ||
| "... сигналов, таких как видеокодер/декодер, 2D/3D графика, игры, обработка звука и речи, обработка изображений ..." | ||
| Том 31, № 1 (2019) | Методы идентификации человека по походке в видео | Аннотация PDF (Rus) похожие документы |
| Анна Ильинична Соколова, Антон Сергеевич Конушин | ||
| "... себе классические алгоритмы анализа видео и изображений и новые подходы, показывающие высокие ..." | ||
| 1 - 34 из 34 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
