158
click to vote
TIME
15 years 12 months ago
2008 IEEE 
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
167
click to vote
TIME
15 years 12 months ago
2008 IEEE 
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
151
click to vote
TIME
15 years 12 months ago
2008 IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
147
click to vote
TIME
15 years 12 months ago
2008 IEEE 
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
138
click to vote
TIME
15 years 12 months ago
2008 IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
|
Automated Reasoning