2203 search results - page 90 / 441 » Temporal Abstract Interpretation |
133
click to vote
IFL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
176
Voted
KR
1991
Springer
15 years 6 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
127
click to vote
PAMI
2008
15 years 3 months ago
2008
In this work, we systematically study the problem of event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which video clip s...
133
click to vote
SDM
2009
SIAM
16 years 17 days ago
2009
SIAM
Mining sequential movement patterns describing group behaviour in potentially streaming spatio-temporal data sets is a challenging problem. Movements are typically noisy and often...
109
click to vote
CVPR
2007
IEEE
15 years 9 months ago
2007
IEEE
In this work, we systematically study the problem of visual event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which vide...