Sciweavers

1368 search results - page 156 / 274
» Logical Hidden Markov Models
Sort
View
CIVR
2008
Springer
207views Image Analysis» more  CIVR 2008»
15 years 5 months ago
Accumulated motion energy fields estimation and representation for semantic event detection
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
149
Voted
BMCBI
2010
123views more  BMCBI 2010»
15 years 4 months ago
Decoding HMMs using the k best paths: algorithms and applications
Background: Traditional algorithms for hidden Markov model decoding seek to maximize either the probability of a state path or the number of positions of a sequence assigned to th...
Daniel G. Brown 0001, Daniil Golod
VMCAI
2010
Springer
16 years 1 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
IJCAI
2001
15 years 5 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
147
Voted
JAPLL
2010
85views more  JAPLL 2010»
14 years 10 months ago
Hybrid logic with the difference modality for generalisations of graphs
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
Robert S. R. Myers, Dirk Pattinson