Results 1  10
of
3,748
Indexed Categories of Fragments?
"... Abstract. Algebraic signatures fail to behave like sets – they usually contain too much structure that makes it impossible to arbitrarily remove some of their components. In other words, one can not, for instance, represent as a single signature the result of the following operation: {sort s;ops ..."
Abstract
 Add to MetaCart
;ops f: s → s}\{sort s}. We address this issue in a general way by working with arbitrary indexed categories. To obtain the notion of a fragment we inductively use the structure of the category of indices. For a given indexed category we define the corresponding indexed category of fragments. We show
ENRICHED INDEXED CATEGORIES
"... Abstract. We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an Sindexed monoidal category V. This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract. We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an Sindexed monoidal category V. This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases
Relational Databases and Indexed Categories
 In Proceedings of the International Category Theory Meeting 1991, CMS Conference Proceedings 13, 391407, American Mathematical Society
, 1992
"... . A description of relational databases in categorical terminology given here has as intended application the study of database dynamics, in particular we view (i) updates as database objects in a suitable category indexed by a topos; (ii) Lfuzzy databases as database objects in sheaves. Indexed ca ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
. A description of relational databases in categorical terminology given here has as intended application the study of database dynamics, in particular we view (i) updates as database objects in a suitable category indexed by a topos; (ii) Lfuzzy databases as database objects in sheaves. Indexed
Environments, Continuation Semantics and Indexed Categories
 Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
, 1997
"... . There have traditionally been two approaches to modelling environments, one by use of ønite products in Cartesian closed categories, the other by use of the base categories of indexed categories with structure. Recently, there have been more general deønitions along both of these lines: the ørst g ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
. There have traditionally been two approaches to modelling environments, one by use of ønite products in Cartesian closed categories, the other by use of the base categories of indexed categories with structure. Recently, there have been more general deønitions along both of these lines: the ørst
Unsupervised learning of human action categories using spatialtemporal words
 In Proc. BMVC
, 2006
"... Imagine a video taken on a sunny beach, can a computer automatically tell what is happening in the scene? Can it identify different human activities in the video, such as water surfing, people walking and lying on the beach? To automatically classify or localize different actions in video sequences ..."
Abstract

Cited by 494 (8 self)
 Add to MetaCart
is very useful for a variety of tasks, such as video surveillance, objectlevel video summarization, video indexing, digital library organization, etc. However, it remains a challenging task for computers to achieve robust action recognition due to cluttered background, camera motion, occlusion
Indexed Categories and BottomUp Semantics of Logic Programs
, 2001
"... We propose a categorical framework which formalizes and extends the syntax, operational semantics and declarative model theory of a broad range of logic programming languages. A program is interpreted in an indexed category in such a way that the base category contains all the possible states wh ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We propose a categorical framework which formalizes and extends the syntax, operational semantics and declarative model theory of a broad range of logic programming languages. A program is interpreted in an indexed category in such a way that the base category contains all the possible states
Indexed Categories and BottomUp Semantics of Logic Programs
"... Abstract. We propose a categorical framework which formalizes and extends the syntax, operational semantics and declarative model theory of a broad range of logic programming languages. A program is interpreted in an indexed category in such a way that the base category contains all the possible sta ..."
Abstract
 Add to MetaCart
Abstract. We propose a categorical framework which formalizes and extends the syntax, operational semantics and declarative model theory of a broad range of logic programming languages. A program is interpreted in an indexed category in such a way that the base category contains all the possible
Fibred and Indexed Categories for Abstract Model Theory
"... Indexed and Fibred category theory have a long tradition in computer science as a language to formalize different presentations of the notion of a logic, as for instance, in the theory of institutions and general logics, and as unifying models of (categorical) logic and type theory as well. Here we ..."
Abstract
 Add to MetaCart
Indexed and Fibred category theory have a long tradition in computer science as a language to formalize different presentations of the notion of a logic, as for instance, in the theory of institutions and general logics, and as unifying models of (categorical) logic and type theory as well. Here
WordSense Disambiguation Using Statistical Models of Roget's Categories Trained on Large Corpora
, 1992
"... This paper describes a program that disambiguates English word senses in unrestricted text using statistical models of the major Roget's Thesaurus categories. Roget's categories serve as approximations of conceptual classes. The categories listed for a word in Roget's index tend to ..."
Abstract

Cited by 345 (14 self)
 Add to MetaCart
This paper describes a program that disambiguates English word senses in unrestricted text using statistical models of the major Roget's Thesaurus categories. Roget's categories serve as approximations of conceptual classes. The categories listed for a word in Roget's index tend
Results 1  10
of
3,748