1368 search results - page 159 / 274 » Logical Hidden Markov Models |
147
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
113
click to vote
ENTCS
2000
15 years 3 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
167
click to vote
NIPS
2007
15 years 5 months ago
2007
Bayesian Reinforcement Learning has generated substantial interest recently, as it provides an elegant solution to the exploration-exploitation trade-off in reinforcement learning...
116
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
156
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...