57 search results - page 1 / 12 » Symbolic mining of temporal specifications |
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
ISM
2005
IEEE
13 years 10 months ago
2005
IEEE
— For efficient video data management, ‘video data mining’ is required to discover ‘semantic patterns’ which are not only previously unknown and interesting, but also as...
CDC
2009
IEEE
13 years 2 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
SOFTWARE
2002
13 years 4 months ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
SBBD
2004
13 years 5 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...