A Decomposition-based Approach to Checking the Satisfiability of Temporal Database Query in Temporal Planning

Ho-Jin Choi ,  Ba ,  y Richa 외 1명

Journal of Electrical Engineering and Information Science

1999 .06

A New Branching Strategy for Satisfiability Problems

Masahito Yamamoto ,  Azuma Ohuchi

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1997 .01

시간지원 데이터베이스의 질의 처리

정경자 ,  김동호 ,  이언배 외 1명

데이타베이스연구

1996 .08

Automating Data Presentations from Temporal-Spatial Structures in Multimedia Databases

Jisook Pa ,  k ,  Yunmook Nah 외 1명

Journal of Electrical Engineering and Information Science

1999 .06

모바일 시공간 질의을 위한 데이타 관리 시스템의 설계 및 구현

이기영 ,  임명재 ,  김정준 외 2명

한국인터넷방송통신학회 논문지

2011 .01

Load Shedding for Temporal Queries over Data Streams

Mohammed AJ-Kateb ,  Byung Suk Lee

Journal of Computing Science and Engineering

2011 .12

시간지원 데이타베이스에서의 효과적인 시간지원 집계 처리 기법

강성탁 ,  김종수 ,  김명호

정보과학회논문지(B)

1999 .12

시공간 데이터베이스 시스템을 위한 질의어의 설계

박동선 ,  박춘명

한국멀티미디어학회 학술발표논문집

2000 .11

The Decomposition and Optimization of the Global Query of Heterogeneous Database System Based on Neural Network Technique

Ren-qing Li ,  Zhong-de Yu

한국멀티미디어학회 국제학술대회

2006 .07

영상 데이터 압축을 위한 Temporal Filter의 구성 ( Temporal filter for Image Data Compression )

김종훈 ,  김성대

한국통신학회논문지

1993 .11

지역경제 성장의 시ㆍ공간 효과

최명섭 ,  이창근 ,  김의준

국토계획

2009 .04

Mining Spatio-Temporal Patterns in Trajectory Data

강주영 ,  용환승

JIPS(Journal of Information Processing Systems)

2010 .01

시간지원 능동규칙의 점진적 조건평가

박정석 ,  신예호 ,  남광우 외 1명

정보과학회논문지(B)

1999 .04

Spatio-temporal Sensor Data Processing Techniques

김정준

JIPS(Journal of Information Processing Systems)

2017 .01

Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )

이명직 ,  박종민 ,  이정태 외 2명

한국통신학회 워크샵

1998 .01

위치 기반 서비스를 위한 시공간 데이터모델에 관한 연구

정원일 ,  배해영

한국공간정보시스템학회 논문지

2003 .12