163 search results - page 1 / 33 » Effective categoricity of equivalence structures |
APAL
2006
13 years 5 months ago
2006
We investigate effective categoricity of computable equivalence structures A. We show that A is computably categorical if and only if A has only finitely many finite equivalence c...
CHI
2002
ACM
14 years 5 months ago
2002
ACM
We present experimental results showing that search for target items in a three-tiered categorization structure (approximately 8 links per page) is faster than a comparable two-ti...
EDBT
2000
ACM
13 years 8 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
RIAO
2000
13 years 6 months ago
2000
Given a set of categories, with or without a preexisting hierarchy among them, we consider the problem of assigning documents to one or more of these categories from the point of ...
ACS
2005
13 years 4 months ago
2005
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...