10061 search results - page 539 / 2013 » Statistical Models of Conditioning |
250
click to vote
JMLR
2012
13 years 9 months ago
2012
We propose a new family of latent variable models called max-margin min-entropy (m3e) models, which define a distribution over the output and the hidden variables conditioned on ...
209
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
215
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
208
click to vote
IFIP
2004
Springer
16 years 20 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
205
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...