627 search results - page 50 / 126 » The Laplace-Jaynes approach to induction |
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
ECML
2000
Springer
15 years 3 months ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
SOFSEM
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
75
Voted
CVIU
2004
14 years 10 months ago
2004
The aim of this paper is to outline a perceptual approach to a computational colour