Синтаксис і семантика програм
Підтеми:
Документи:
- Абстрактная модель компилятора как результат алгебраической семантики языка программирования [Текст] / А.В. Замулин // Программирование. — 2004. — С. 69-80.
- Автоматизация морфологической разметки текстов Национального корпуса украинского языка. [Текст] / Институт кибернетики им. В.М.Глушкова НАН Украины // Искусственный интеллект. — 2005. — №4. — С. 640-645.
- Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования. [Текст] / Институт системного программирования РАН, г.Москва // Программирование. — 2004. — С. 52-67.
- Алгоритмы и программы визуализации информативных предложений в системе автоматического реферирования текстовых документов [Текст] / Объединенный институт проблем информатики НАН Беларуси, г.Минск, Беларусь // Искусственный интеллект. — 2006. — №2. — С. 416-419.
- Анализатор диаграммных языков для Microsoft Visio [Текст] / Р.Ф. Гайнуллин // . — С. 18-21.
- Архитектура системы семантической интеграции данных на основе семантически полных модели и языка запросов [Текст] / Липецкий государственный технический университет // . — С. 57-80.
- Ассоциативное реферирование естественно-языковых текстов [Текст] / Киевский национальный университет им. Т.Г.Шевченка, Киев, Украина // Искусственный интеллект. — 2006. — №3. — С. 488-492.
- Вопросы кибернетики [Текст] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; под ред. Успенского В. А. — Москва, 1988. — 176 с.
- Эффективное синтаксическое представление последовательности кадров на основе межплоскостного трехмерного дифференциального кодирования [Текст] / В.В. Баранник, Ю.Н. Рябуха // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — С. 165-172.
- Инженерия онтологий [Текст] / И.С. Чистякова // . — С. 51-66.
- Интеграция данных: синтаксис и семантика [Текст] / Л. Черняк // Открытые системы. СУБД. — 2009. — С. 24-29.
- Конструирование программного обеспечения [Текст] : учеб. пособие по лаб. практикуму / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2015. — 41 с.
- Контекстуальные, семантические и логические ограничения и преференции при разрешении местоименной анафоры. [Текст] / Минский государственный лингвистический университет // Искусственный интеллект. — 2005. — №4. — С. 634-639.
- Концептуально-ситуационное моделирование процесса перифразирования высказываний естественного языка как обучение на основе прецендентов. [Текст] / Новгородский государственный университет им.Ярослава Мудрого. г.Великий Новгород, Россия // Искусственный интеллект. — 2006. — №2. — С. 72-75.
- Методика приобретения новых знаний в семантических сетях "объект-предикат" [Текст] / В.Н. Коваль, Ю.В. Кук // Искусственный интеллект : Научно-технический журнал. — Донецк, 2005. — 3. — С.25-36.
- Обеспечение семантической корректности распараллеливающих и оптимизирующих преобразований. [Текст] / Ростовский государственный университет, г. Ростов-на-Дону. // Искусственный интеллект. — 2006. — №4. — С. 220-231.
- Об одной модели программ в задачах формальной верификации [Текст] / Харьковский национальный университет им. В.Н.Каразина, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 182-185.
- Отображение семантики домена контроля и диагностики на структуру XML-сообщений [Текст] / В.А. Антипов, В.П. Соколов // Биомедицинские технологии и радиоэлектроника. 7 , 2007. — С. 61-67.
- Применение моделирования знаний в семантических сетях "объект-свойство" для проектирования новых механических соединений с заданными свойствами [Текст] / Ю.В. Кук, Е.И. Лаврикова // Электронное моделирование. — 2007. — С. 85-97.
- Семантика коэволюционной технологии самоорганизации Вселенной* [Текст] / Ю.И. Шемакин // Информационные технологии : научно-технич. и научно-произв.журнал. — М., 2005. — 7. — С.72-77.
- Семантический инструмент построения баз данных. [Текст] / А. Долженков, Д. Тимофеев // . — С. 36-41.
- Синтез времяпараметризованных моделей управления параллельными вычислительными процессами циклических задач [Текст] / Е.Г. Толстолужская, Ю.А. Артюх // Радіоелектронні і комп'ютерні системи. — 2012. — С. 64-69.
- Синтез рефератов текстовых документов на основе ситуативно-синтагматической сети [Текст] / Обьединенный институт проблем информатики НАН Беларуси, г.Минск // Искусственный интеллект. — 2006. — №2. — С. 172-175.
- Содержательный и формальный выводы в логиках с векторной семантикой [Текст] / Восточно-Сибирский институт МВД России, Иркутск // Автоматика и телемеханика : науково-технічний журнал / Рос. акад. наук. — С. 153-162.
- Трехуровневая метамодель отображения семантики предметной области [Текст] / Рязанский государственный радиотехнический университет // Биомедицинская радиоэлектроника. — М. : ЗАО "Издательство "Радиотехника", 2008. — С. 35-41.
- Универсальный семантический код [Текст] : грамматика, словарь, тексты / В.В. Мартынов. — Минск : Наука и техника, 1977. — 192 с.
- Управление знаниями и семантический анализ текстов в системе Retrieval Ware компании Convera. [Текст] / ООО "Логика бизнеса", Москва // Информационные технологии в проектировании и производстве. — 2005. — №3. — С. 37-56.
- Формальная верификация понятий отказоустойчивости для распределенных баз данных [Текст] / Д.А. Шкляев // Информационные технологии. — 2011. — С. 46-53.
- Формирование многокритериальных управляющих решений на основе семантических моделей сред и ситуаций. [Текст] / Институт кибернетики им В.М.Глушкова НАНУ, г.Киев // Искусственный интеллект. — 2004. — С. 59-64.
- A hhybrid natural language parser. [Текст] = Гибридный синтаксический анализатор естественного языка / ООО "Эффективные программы", г.Минск // Искусственный интеллект. — 2005. — №3. — С. 550-556.
- Formal syntax and semantics of programming languages [Електронний ресурс] [Текст] : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz. — Reading : Addison-Wesley Publishing Company, Inc., 1995. — 654 p.
|
