14078 search results - page 1969 / 2816 » Design and Analysis of Computer Algorithms |
183
click to vote
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
204
click to vote
CAIP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The estimation of human age from face images is an interesting problem in computer vision. We proposed a general distance metric learning scheme for regression problems, ...
243
click to vote
AVSS
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
233
click to vote
CISS
2008
IEEE
16 years 2 months ago
2008
IEEE
—Thus far, sparse representations have been exploited largely in the context of robustly estimating functions in a noisy environment from a few measurements. In this context, the...
222
click to vote
CISS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...