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 ..."
 
Том 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 диссертация)