Cs-Ai
지능형 수학 증명 튜터 개발
매칭 문제를 위한 능동 학습: 확률적 매칭과 목표 지향형 질의 전략
다항트리형 베이지안 네트워크에서 의존성 판별
온톨로지와 관계형 규칙 학습을 위한 귀납 논리 프로그래밍
철도 사고 시나리오 모델링을 위한 온톨로지 개발
손글씨 문자 인식 신경망
전문가 예측 집계 알고리즘 실험 비교
머신러닝 기반 증명 보조와 프루프 제네럴 인터페이스
웹 데이터 사용 패턴의 의미론적 분석 활성화
동적 온톨로지를 위한 버전그래프 통합 가이드
메모리 기반 기계 지능 VLSI 구현
측정 편향과 인과 추론
중심화된 심층 볼츠만 머신으로 특징 계층 학습
계층형 베이지안 최적화에서 전이 학습과 거리 기반 편향
미디어 콘텐츠 분석을 위한 모듈형 시스템 설계
비대칭 분산 제약 최적화 문제와 새로운 해결 알고리즘
동적 항공기 정비소 스케줄링: 제한된 자원을 활용한 최적화 전략
고립 전력망을 위한 통합 전압·무효 전력 제어에 대한 퍼지 추론 시스템
NuMVC: 효율적인 최소 정점 커버 로컬 서치 알고리즘
위험 제한 하 연속 동적 시스템을 위한 확률적 플래너
제약 전파를 위한 짧은 지원과 긴 지원
에이전트 소프트웨어 이미지 관찰 학습
