354 search results - page 24 / 71 » Modal and Temporal Logics for Processes |
DLOG
2003
13 years 9 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
EUSFLAT
2001
13 years 9 months ago
2001
In this document we cany out a comparative analysis of the reasoning strategies implemented in Fuzzy Logic Controllers (hereinafter FLCs) and Faded Temporal Fuzzy Logic Controller...
SBBD
2004
13 years 9 months ago
2004
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting sequen...
ICDE
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...