Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... The article describes TLA+ access control model specification for computer systems, ensuring ..."
 
Том 21 (2011) Извлечение объектов и их атрибутов из таблиц текстовых документов Аннотация  PDF (Rus)  похожие документы
Никита Астраханцев
"... . For the task of objects extraction from HTML tables we introduce the following methods: determining table ..."
 
Том 32, № 4 (2020) Использование синтетических данных для тонкой настройки моделей сегментации документов Аннотация  PDF (Rus)  похожие документы
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ
"... В рамках задачи автоматического анализа документов мы решаем задачу сегментации изображений ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... , object-oriented, functional, and concurrent programming paradigms relying on static type checking ..."
 
Том 34, № 6 (2022) Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей Аннотация  PDF (Rus)  похожие документы
Андрей Анатольевич МИХАЙЛОВ
"... of document image segmentation using deep object detection neural networks. The format of marked PDF files ..."
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... Null pointer dereferencing remains one of the major issues in modern object-oriented languages ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... Rendering of 3D scenes with big number of objects is computationally intensive. Occlusion culling ..."
 
Том 36, № 3 (2024) Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами Аннотация  похожие документы
Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН
"... This paper addresses the challenge of single-object tracking on resource-constrained devices ..."
 
Том 35, № 1 (2023) Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений Аннотация  PDF (Rus)  похожие документы
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ
"... code and the server-side of a web application. Special attention was paid to serialized objects sent ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... Currently the problem of information security during designing and exploiting the objects ..."
 
Том 25 (2013) Оптимальное упорядочение конфликтующих объектов и задача коммивояжера Аннотация  PDF (Rus)  похожие документы
А. В. Воеводин, С. А. Косяченко
"... The paper presents the setting of the problem of optimal ordering of conflicting objects related ..."
 
Том 33, № 2 (2021) Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Аннотация  PDF (Rus)  похожие документы
Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС
"... This paper proposes a first approach based on wavelet analysis inside image processing for object ..."
 
Том 32, № 1 (2020) Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова
"... algorithms, the existing computer vision models are used for the following tasks: Object detection, Pose ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... and graphics interfaces. The following methods and techniques are used with this scheme: clipping of objects ..."
 
Том 34, № 6 (2022) Модификация метода выделения контуров объекта в интеллектуальных системах Аннотация  PDF (Rus)  похожие документы
Алексей Иванович МАРТЫШКИН, Елена Григорьевна БЕРШАДСКАЯ, Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА
"... , усиленный контроль на границах и охраняемых объектах, а также интерактивную рекламу и развлечения. ..."
 
Том 31, № 6 (2019) Исследование условий возникновения эолова микрорельефа Аннотация  PDF (Rus)  похожие документы
Елена Александровна Малиновская
"... The possibilities of numerical modeling of the motion of hydrodynamic flows around objects ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... As a further development of case-based approach to complex object control with objects that cannot ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... 3.0 (ODMG object model) and the SQL:2003 (SQL data model) and convincingly (as it seemed to me ..."
 
Том 24 (2013) Роль предыстории при оценке сложного объекта в управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Building a control system for non-stationary objects is a subsequent step in developing an approach ..."
 
Том 26, № 2 (2014) Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... of controlling complex objects basing on cases. In situation when it is hard or even impossible to use the exact ..."
 
Том 32, № 4 (2020) Извлечение логической структуры из сканированных документов Аннотация  PDF (Rus)  похожие документы
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
"... того, размечен и доступен для изучения корпус документов, проведена экспериментальная проверка ..."
 
Том 35, № 6 (2023) Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов Аннотация  PDF (Rus)  похожие документы
Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ
"... This paper proposes the implementation of a neural network training approach for object detection ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... for the protection of object-oriented applications, the second approach was developed for object-attribute ..."
 
Том 24 (2013) Инструментальные средства оценки качества научно-технических документов Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров
"... , направленные на проверку точности оценки научно-технических документов. Проведённый в статье анализ состояния ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... the object under consideration is not fully described, and cannot be estimated unambiguously. The originality ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Not fully described objects may be seen in many different areas and applications - from medicine ..."
 
Том 33, № 1 (2021) Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации Аннотация  PDF (Rus)  похожие документы
Хулио Сезар РОДРИГЕС-КИНЬОНЕС
"... provides a methodological proposal that allows the integration of the use of object detection methods ..."
 
Том 35, № 3 (2023) Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE Аннотация  похожие документы
Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ
 
Том 36, № 4 (2024) Идентификация термокарстовых объектов по спутниковым графическим данным с помощью нейронной сети Аннотация  PDF (Rus)  похожие документы
Василий Васильевич ЖЕБСАИН, Айаал Федорович ПОСЕЛЬСКИЙ
"... objects formed as a result of climatic changes in the regions of the cryolithozone, based on satellite ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... Object-oriented DBMS theory is one of the most prospective areas of modern database theory, along ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... The paper presents a unified model for testing tools for object-oriented application development ..."
 
Том 36, № 1 (2024) От простого взаимодействия к персонализированному обучению: исследование взаимодействий пользователя с объектом в интеллектуальном окружении Аннотация  похожие документы
Хосе-Гильермо ЭРНАНДЕС-КАЛЬДЕРОН, Эдгар Иван БЕНИТЕС-ГЕРРЕРО, Хосе Рафаэль РОХАНО-КАСЕРЕС, Кармен МЕСУРА-ГОДОЙ
"... by analyzing user-object interaction data to identify On-Task and Off-Task behaviors. This is accomplished ..."
 
Том 27, № 6 (2015) Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Аннотация  PDF (Rus)  похожие документы
Ю. Н. Матвеев, Н. А. Стукалова
"... situations of technogenic chemical-technological objects. We analyzed the dependence of the rate of change ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... This paper investigates a formal approach which supports a critically significant step in object ..."
 
Том 34, № 1 (2022) О комбинированном алгоритме обнаружения заимствований в текстовых документах Аннотация  PDF (Rus)  похожие документы
Камиль Фанисович САФИН, Юрий Викторович ЧЕХОВИЧ
"... внутренних методов для выявления высокооригинальных документов, проверка которых по внешней коллекции не ..."
 
Том 19 (2010) Многопараметрическое управление на основе прецедентов Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... The problem described concerns with multi-parametric control of a very complicated object ..."
 
Том 33, № 4 (2021) Автоматизация проверки UML диаграмм, созданных студентами Аннотация  похожие документы
Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН
"... проходит довольно непросто. В данной статье представлено программное обеспечение для проверки диаграмм ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... To develop common software systems, engineers and designers are currently using an object-oriented ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
 
1 - 39 из 286 результатов 1 2 3 4 5 6 7 8 > >> 

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

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