109 search results - page 10 / 22 » A temporal logic for Markov chains |
105
click to vote
PKDD
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
109
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Popularity of mobile devices is accompanied by widespread security problems, such as MAC address spoofing in wireless networks. We propose a probabilistic approach to temporal an...
138
click to vote
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper presents a content-based approach for temporal segmentation of videos. Tracked objects are characterized by their 2D trajectories which are used in a meaningful way to ...
NIPS
1996
15 years 2 months ago
1996
We study a time series model that can be viewed as a decision tree with Markov temporal structure. The model is intractable for exact calculations, thus we utilize variational app...
126
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 1 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...