2203 search results - page 91 / 441 » Temporal Abstract Interpretation |
151
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
We present algorithms for automatic feature selection for unsupervised structure discovery from video sequences. Feature selection in this scenario is hard because of the absence ...
147
click to vote
TKDE
2008
15 years 3 months ago
2008
Given a large spatio-temporal database of events, where each event consists of the fields event ID, time, location, and event type, mining spatio-temporal sequential patterns ident...
122
click to vote
ICARIS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this conceptual paper, we report on studies and initial definitions of an immune-inspired approach to temporal anomaly detection problems, where there is a strict temp...
114
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
140
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...