Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Владивосток
Связанные издания:
Автоматизация измерений программных средств с использованием экспертных систем
Автоматизация поиска ошибок в базах знаний экспертных систем медицинской диагностики
Автоматизация процесса тестирования программ
Адаптация логических моделей к сложным предметным областям
Анализ знаний о магнитометеочувствительности
Взаимодействие нокоторых оптимизаций логического вывода в системах декларативных продукций
Вывод в системах продукций с недоопределенными объектами. Процесс логического вывода
Вывод в системах продукций с недоопределенными объектами. Процесс рассуждения, определяемый модульной базой знаний
Генератор экспертных систем типа Консультант-3
Диалоговая система формирования и редактирования баз знаний в медицинской инструментальной экспертной системе Консультант-4
Измерение баз знаний, представленных семантическими сетями и фреймами
Измерительные языковые процессоры для исследования и оценки качества программных средств
Инструментальные средства для расширения возможностей И_МЭСОП
Инструментальный комплекс Консультант-4 для создания экспертных систем медицинской диагностики
Инструментальный комплекс КОНСУЛЬТАНТ-4 для создания экспертных систем медицинской диагностики
Информационная технология краткосрочного промыслового прогнозирования
Использование метода компьютерной дермографии для автоматизированной диагностики заболеваний внутренних органов
Использование результатов статистических измерений баз знаний для оценки показателей качества самих баз и средств их создания
Исследование задач и методов их решения для одного класса систем логических соотношений
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри
Исследование методов оптимизации вывода в системах декларативных продукций
Качество экспертных систем и их оценивание
Коммерческие аспекты экспертных систем
Композициональные методы разработки протоколов на основе сетей Петри
Лабораторный практикум по спецдисциплине "Методы трансляции и оптимизации программ". Методические указания. Ч.2
Логические модели второго порядка для предметных областей
МАКРОРЕПРО - язык спецификации компиляции баз знаний в базы правил
Математическое и численное моделирование подводного выброса газа
Метод решения задачи диагностики для медицинских экспертных систем, рассуждаю их во времени
Методы и алгоритмы тестирования памяти ЭВМ с обнаружением кратных функциональных неисправностей
Методы и средства создания и исследования экспертных систем
Методы повышения качества программного обеспечения (Материалы семинара)
Методы построения интерактивных средств формирования и сопровождения баз знаний
Методы построения моделей предметных областей для экспертных систем
Методы построения средств интерактивнного формирования и сопровождения баз знаний. Язык описания схем баз данных
Методы построения средств интерактивного формирования и сопровождения баз знаний. Сценарий диалога по формированию и сопровождению баз знаний
Методы преобразования баз знаний в базы правил
Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред
Модели, методы и инструментальные средства для создания интеллектуальных систем по планированию и мониторингу лечения
Модели предметных областей с атомарными объектами в экспертных системах
Модель декларативных продукций с обоб енными операциями
Модель декларативных продукций с обоб енными операциями (кванторами) n-го порядка
Об ий подход к решению задачи индуктивной коррекции состояния базы знаний по примерам
Об одной задаче вычислительной геометрии
Обработка геоинформации в экспертной системе для мониторинга океана
Оптимизация вычислений в системах декларативных продукций на основе анализа информационных графов
Основные характеристики языка описания документов в системе ДОК
Особенности декларативных продукций с недоопределенными объектами
Оценка качества и исследование программных продуктов: реляционный подход. Определение базовой объективной системы внутренних свойств программных продуктов
Оценка качества и исследование программных продуктов: реляционный подход. Построение измерительной модели языка программирования
1
2
3
следующая ›
последняя »