2661 search results - page 253 / 533 » Model Checking Performability Properties |
110
Voted
CIMCA
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we analyse the properties of the standard circular hidden Markov model (HMM) on 2D shape recognition. We point out the limitations of the circular HMMs and further ...
114
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
102
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
142
Voted
JMLR
2010
14 years 8 months ago
2010
Many probabilistic models introduce strong dependencies between variables using a latent multivariate Gaussian distribution or a Gaussian process. We present a new Markov chain Mo...
119
Voted
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...