Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 ..."
 
Том 35, № 2 (2023) Генерация изображений рукописного текста на русском языке Аннотация  PDF (Rus)  похожие документы
Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
"... . В рамках данной работы был разработан новый метод создания изображений рукописного текста на русском ..."
 
Том 29, № 6 (2017) Технология обработки изображений для гидравлических приложений Аннотация  похожие документы
Дж. Теллез-Альварез, М. Гомез, Б. Руссо
"... Digiflow и PIVlab, способных коррелировать изображения. ..."
 
Том 36, № 3 (2024) Платформа для сбора дерматоскопических изображений новообразований пациентов Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Кирилл Вячеславович ЕЛЕЦКИЙ, Елена Сергеевна КОЗАЧОК
 
Том 33, № 6 (2021) Активное обучение и перенос знаний в задаче сегментации изображений документов Аннотация  PDF (Rus)  похожие документы
Дмитрий Маратович КИРАНОВ, Максим Алексеевич РЫНДИН, Илья Сергеевич КОЗЛОВ
"... сегментации изображений документов с целью уменьшения обучающей выборки. Приводится свой модифицированный ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
 
Том 34, № 2 (2022) Функции потерь для обучения моделей сегментации изображений документов Аннотация  PDF (Rus)  похожие документы
Андрей Игоревич ПЕРМИНОВ, Денис Юрьевич ТУРДАКОВ, Оксана Владимировна БЕЛЯЕВА
"... Работа посвящена повышению качества результатов сегментации изображений документов различных ..."
 
Том 32, № 4 (2020) Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений Аннотация  PDF (Rus)  похожие документы
Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ
"... скрытого канала в инфокоммуникационных системах, узлы которых обмениваются цифровыми изображениями ..."
 
Том 32, № 3 (2020) Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений Аннотация  похожие документы
Даниэл Игоревич СЕРГЕЕВ, Александр Евгеньевич АНДРЕЕВ, Анна Олеговна ДРОБИНЦЕВА, Слободанка ЦЕНЕВСКА, Никола КУКАВИЦА, Павел Дмитриевич ДРОБИНЦЕВ
"... Текущая работа ориентирована на обработку медицинских изображений, полученных путем проведения ..."
 
Том 37, № 3 (2025) Анализ и разработка методов очищения для защит метрик качества изображений Аннотация  PDF (Rus)  похожие документы
Александр Евгеньевич ГУЩИН, Анастасия Всеволодовна АНЦИФЕРОВА, Дмитрий Сергеевич ВАТОЛИН
"... В последнее время начали исследовать область состязательных атак на метрики качества изображений ..."
 
Том 35, № 2 (2023) Реальное применение методов интерпретации свёрточных нейронных сетей: обнаружение и объяснение ошибок классификатора изображений документов Аннотация  похожие документы
Александр Олегович ГОЛОДКОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
"... задачи определения ориентации изображений текстовых документов. Изначально с помощью методов ..."
 
Том 34, № 6 (2022) Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей Аннотация  PDF (Rus)  похожие документы
Андрей Анатольевич МИХАЙЛОВ
"... изображений документов с помощью глубоких нейронных сетей обнаружения объектов. В качестве исходных данных для ..."
 
Том 32, № 3 (2020) Рекомендательная система на основе действий пользователей в социальной сети Аннотация  похожие документы
Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ
"... была поставлена задача проанализировать изображения на фотографиях и проанализировать текст. Анализ ..."
 
Том 27, № 6 (2015) Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов
"... - задачи обработки сырых данных астрономических изображений. ..."
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... обучение и обработка изображений и прочие. Ввиду высокой вычислительной сложности преобразования Гаусса ..."
 
Том 35, № 2 (2023) Параллельные вычисления в задачах восстановления искаженных изображений в пространственно-спектральной форме Аннотация  похожие документы
Борис Васильевич КОСТРОВ, Наталья Николаевна ГРИНЧЕНКО, Ангелина Алексеевна ВЬЮГИНА, Светлана Николаевна БАРАНОВА
"... Объектом исследования является процесс обработки изображения при подготовке к передаче данных, а ..."
 
Том 34, № 6 (2022) Влияние трансформаций на успешность состязательных атак для классификаторов изображений Clipped BagNet и ResNet Аннотация  PDF (Rus)  похожие документы
Екатерина Олеговна КУРДЕНКОВА, Мария Сергеевна ЧЕРЕПНИНА, Анна Сергеевна ЧИСТЯКОВА, Константин Владимирович АРХИПЕНКО
"... изображений, атакованных состязательной наклейкой, в условиях трансформаций изображений. Состязательная ..."
 
Том 34, № 6 (2022) Исследование возможности применения нейронных сетей для восстановления изображения лица в системах распознавания Аннотация  PDF (Rus)  похожие документы
Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА, Алексей Иванович МАРТЫШКИН
"... Идентификация человека на цифровом изображении с помощью компьютерного зрения является важнейшим ..."
 
Том 33, № 2 (2021) Классификатор изображений транспортных средств для определения корреляции их воздействия со смещением координат моста Аннотация  PDF (Rus)  PDF (Rus)  похожие документы
Венди ФЛОРЕС-ФУЭНТЕС
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... изображений. Проведена оценка качества результатов на тестовой выборке. Показано значительное сокращение ..."
 
Том 34, № 4 (2022) Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Василий Иванович КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Юрий Витальевич МАРКИН, Дмитрий Олегович ОБЫДЕНКОВ
"... сформированного изображения. В качестве анализируемых параметров алгоритма выступают такие характеристики как ..."
 
Том 33, № 4 (2021) Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ
 
Том 32, № 4 (2020) Использование синтетических данных для тонкой настройки моделей сегментации документов Аннотация  PDF (Rus)  похожие документы
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ
"... В рамках задачи автоматического анализа документов мы решаем задачу сегментации изображений ..."
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
"... , представленных как растровое изображение. Важной особенностью алгоритмов является возможность обратного ..."
 
1 - 39 из 65 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)