1743 search results - page 25 / 349 » Generalized Modal Satisfiability |
115
Voted
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The Dirichlet process can be used as a nonparametric prior for an infinite-dimensional probability mass function on the parameter space of a mixture model. The set of parameters o...
126
Voted
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a multi-modal object tracking algorithm that combines appearance, motion and audio information in a particle filter. The proposed tracker fuses at the likelihood level ...
118
Voted
EUSFLAT
2007
15 years 2 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
52
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
113
Voted
AI
1999
Springer
15 years 14 days ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...