461 search results - page 79 / 93 » Temporal granular logic for temporal data mining |
FSKD
2005
Springer
15 years 5 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
121
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Influential people have an important role in the process of information diffusion. However, there are several ways to be influential, for example, to be the most popular or the...
113
click to vote
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
We propose a generative model based on latent Dirichlet allocation for mining distinct topics in document collections by integrating the temporal ordering of documents into the ge...
130
click to vote
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...