상세 보기
김병만
BYEONG MAN, KIM
공과대학
컴퓨터공학부
연구분야
- artificial intelligence, Web intelligence,
- information filtering, brain computer interface,
- 소프트웨어 검증,
- 인공지능,
- 정보필터링, 브레인 컴퓨터 인터페이스
자료 필터
자료유형
발행연도
1989 ~ 2025
1989 2025
키워드
언어
전체 248건 중 201번부터 210번까지의 결과를 표시합니다.
2001
Article
A New Approach to Deterministic Execution Testing for Concurrent Programs
- 2001-12
- Ieice Transactions on Information and Systems
Conference
Query Term Expansion and Reweighting using Term Co-Occurrence Similarity and Fuzzy Inference
- 2001-07-25
Article
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- 2001-02
- Ieice Transactions on Information and Systems
2000
Conference
Yet Another Approach to Deterministic Execution Testing for Distributed Programs
- 2000-11-06