Computer-Science
스프레드시트 자체 검증 현황 조사
약한 감축을 위한 초전개 연구
양자 확률 모델 기반 신경망 연산 확률적 주성분 하위공간 분석
에이전트 사회로서의 가상 조직 공식 프레임워크
인공감미료 논쟁의 숨은 프레임 분석
전략 기반 PRholog 논리 프로그래밍의 새로운 패러다임
제품 및 제품군 사양을 위한 변형 가능한 상태도 변환 규칙
타밀어 자 음성 인식을 위한 HMM 기반 LPC 분석
스프레드시트 최적 실천법은 존재할까
최소한의 명제형 이론
인포캐스트: 차량 네트워크를 위한 라톰리스 코딩 기반 협업 콘텐츠 전송
테라바이트 데이터 처리를 위한 StoreTorrent 파일시스템 성능과 내결함성
플래시 메모리를 위한 페이지 차등 로깅 효율적인 DBMS 독립 저장 방식
cCSP 동기화 의미론 PVS 형식화
Perl 상태 보고기 SRr를 활용한 텍스트 마이닝 활용 방안
밀집 고동적 무선 네트워크를 위한 하이브리드 DTN MANET 라우팅 HYMAD
오픈 데이터 시대의 협업 변천: SDSS 사례 연구
정서·주목이 결합된 신경망 모델
기업 클라우드 컴퓨팅 연구 과제
다항시간 SAT 검사 기계 설계
방향성 및 비대칭 무선 통신을 위한 INET 프레임워크 확장
셀 경계에서 적응형 자원 할당을 위한 협력 기술
