440 search results - page 29 / 88 » Arguments for the continuity principle |
DAGM
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of p...
NIPS
2008
14 years 11 months ago
2008
Continuously-Adaptive Discretization for Message-Passing (CAD-MP) is a new message-passing algorithm for approximate inference. Most message-passing algorithms approximate continu...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
PUC
2007
14 years 9 months ago
2007
In this article we consider what it should mean to build ‘‘smartness’’ or ‘‘intelligence’’ into the home. We introduce an argument suggesting that it is people who ...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...