686 search results - page 66 / 138 » Nonmonotonic inference operations |
JMLR
2010
13 years 4 months ago
2010
Markov Random Fields (MRFs) are an important class of probabilistic models which are used for density estimation, classification, denoising, and for constructing Deep Belief Netwo...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ICMCS
2008
IEEE
14 years 4 months ago
2008
IEEE
We consider how to exploit the correlation in image for compression by virtue of studying image patches in a nonparametric manner. Instead of extracting and recording parameters, ...
SETN
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
JELIA
1998
Springer
14 years 2 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...