지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of Electrical Engineering and Information Science Journal of Electrical Engineering and Information Science Vol.4 No.3
- 발행연도
- 1999.6
- 수록면
- 275 - 285 (11page)
이용수
초록· 키워드
오류제보하기
This paper presents a method for increasing the efficiency of checking the satisfiability of a structure known as a temporal database query(TDBQ), which is an essential component of temporal planning. We develop a new "qualitative" strategy for decomposing a TDBQ into nearly-independent sub-TDBQ's, whose satisfiability can be checked separately; if all sub-TDBQ's are satisfiable, we use an efficient method of testing for global consistency. To ensure the correctness of the procedure we must impose certain restrictions on the temporal constraints used in specifying planning problems and action operators. But these do not present an awkward restriction on expressiveness. They do, however, lead to a significant reduction in the propagation of constraints and thus greatly enhance the performance of the temporal reasoning system.
목차
Abstract
Ⅰ. Introduction
Ⅱ. A Temporal Planning Framework
Ⅲ. Satisfiability Checking by Network Decomposition
Ⅳ. Example
Ⅴ. Discussion of Results
Ⅵ. Conclusion
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A Decomposition-based Approach to Checking the Satisfiability of Temporal Database Query in Temporal Planning
Journal of Electrical Engineering and information Science
1999 .06
-
A New Branching Strategy for Satisfiability Problems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
-
시간지원 데이터베이스의 질의 처리
데이타베이스연구
1996 .08
-
모바일 시공간 질의을 위한 데이타 관리 시스템의 설계 및 구현
한국인터넷방송통신학회 논문지
2011 .01
-
Automating Data Presentations from Temporal-Spatial Structures in Multimedia Databases
Journal of Electrical Engineering and Information Science
1999 .06
-
지역경제 성장의 시ㆍ공간 효과
국토계획
2009 .04
-
시간지원 능동규칙의 점진적 조건평가
정보과학회논문지(B)
1999 .04
-
시간지원 데이타베이스에서의 효과적인 시간지원 집계 처리 기법
정보과학회논문지(B)
1999 .12
-
영상 데이터 압축을 위한 Temporal Filter의 구성 ( Temporal filter for Image Data Compression )
한국통신학회논문지
1993 .11
-
Mining Spatio-Temporal Patterns in Trajectory Data
JIPS(Journal of Information Processing Systems)
2010 .01
-
Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )
한국통신학회 워크샵
1998 .01
-
Spatio-temporal Sensor Data Processing Techniques
JIPS(Journal of Information Processing Systems)
2017 .01
-
Incorporating the Temporal Structure of Sources into Independent Component Analysis
Journal of Electrical Engineering and information Science
1999 .12
-
위치 기반 서비스를 위한 시공간 데이터모델에 관한 연구
한국공간정보시스템학회 논문지
2003 .12
-
Load Shedding for Temporal Queries over Data Streams
Journal of Computing Science and Engineering
2011 .12
-
A New Learning Rule for Temporal Sequence
ICONIP : International Conference On Neural Information Processing
1994 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017769725