955 search results - page 162 / 191 » Tractable Temporal Reasoning |
CSL
2007
Springer
13 years 10 months ago
2007
Springer
Hidden Markov Models (HMMs) are the most commonly used acoustic model for speech recognition. In HMMs, the probability of successive observations is assumed independent given the ...
ENTCS
2007
13 years 10 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
FMSD
2002
13 years 9 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...