20126 search results - page 78 / 4026 » Timed Transition Systems |
133
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
142
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper proposes a Bayesian algorithm to estimate the parameters of a smooth transition regression model. With in this model, time series are divided into segments and a linear...
133
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
110
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Transparent-scan was proposed as an approach to test generation and test compaction for scan circuits. Its effectiveness was demonstrated earlier in reducing the test application ...
120
Voted
TCS
2008
15 years 3 months ago
2008
Transitive signatures allow a signer to authenticate edges in a graph in such a way that anyone, given the public key and two signatures on adjacent edges (i, j) and (j, k), can c...