461 search results - page 11 / 93 » Temporal granular logic for temporal data mining |
ICDM
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we study a new problem in temporal pattern mining: discovering frequent arrangements of temporal intervals. We assume that the database consists of sequences of even...
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
173
click to vote
INCDM
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes an approach to temporal pattern mining
using the concept of user de ned temporal prototypes to de ne the
nature of the trends of interests. The temporal patt...
86
Voted
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
109
Voted
EUROCAST
2005
Springer
15 years 5 months ago
2005
Springer
The incorporation of temporal semantic into the traditional data mining techniques has caused the creation of a new area called Temporal Data Mining. This incorporation is especial...