Sciweavers

41 search results - page 1 / 9
» An axiomatization of family resemblance
Sort
View
JAPLL
2007
104views more  JAPLL 2007»
13 years 4 months ago
An axiomatization of family resemblance
We invoke concepts from the theory of hypergraphs to give a measure of the closeness of family resemblance, and to make precise the idea of a composite likeness. It is shown that f...
Ray E. Jennings, Dorian X. Nicholson
EUSFLAT
2009
138views Fuzzy Logic» more  EUSFLAT 2009»
13 years 2 months ago
On 'Family Resemblances' with Fuzzy Sets
This paper takes into account the Wittgenstein's idea on family resemblances as a particular crisp relation between some fuzzy sets, that is, between some predicates represent...
Enric Trillas, Claudio Moraga, Alejandro Sobrino
DATASCIENCE
2007
88views more  DATASCIENCE 2007»
13 years 4 months ago
Detecting Family Resemblance: Automated Genre Classification
This paper presents results in automated genre classification of digital documents in PDF format. It describes genre classification as an important ingredient in contextualising s...
Yunhyong Kim, Seamus Ross
ISMVL
2007
IEEE
100views Hardware» more  ISMVL 2007»
13 years 11 months ago
On the Axiomatization of Generalized Entropic Metrics
Starting from an axiomatization of a generalization of Shannon entropy we introduce a set of axioms for a parametric family of distances over sets of partitions of finite sets. T...
Dan A. Simovici
DAGSTUHL
2001
13 years 6 months ago
Indexed Induction-Recursion
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
Peter Dybjer, Anton Setzer