Results 251 to 260 of about 776,446 (291)
Object Categorization in Sub-Semantic Space
Neurocomputing, 2014 Due to the semantic gap, the low-level features are unsatisfactory for object categorization. Besides, the use of semantic related image representation may not be able to cope with large inter class variations and are not very robust to noise.
Qingming Huang +2 more
exaly +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Towards a Categorical Semantics of DEVS
2021 Annual Modeling and Simulation Conference (ANNSIM), 2021DEVS (Discrete EVent System) has been proposed to formalize discrete dynamical systems and is widely used for modeling and simulation. Although the operational semantics of DEVS models is well defined, and it exists some attempt to characterize their behavior using temporal logics, there is no attempt to define their denotational semantics. The meaning
openaire +3 more sources
A categorical approach to database semantics
Mathematical Structures in Computer Science, 1994We propose a formalization of standard database management systems using topos theory. In this treatment, all constructions take place within an ambient topos, which thereby serves as the ‘universe of discourse’. A database schema is defined using objects and morphisms in the ambient topos.
Kenneth Baclawski +2 more
openaire +2 more sources
Semantic home video categorization
SPIE Proceedings, 2009Nowadays, a strong need exists for the efficient organization of an increasing amount of home video content. To create an efficient system for the management of home video content, it is required to categorize home video content in a semantic way. So far, a significant amount of research has already been dedicated to semantic video categorization ...
Hyun-seok Min +3 more
openaire +2 more sources
A categorical semantics of constructions
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, 2003An abstract framework is proposed for the description of the type dependency semantics. It is claimed that the notion of fibration introduced by A. Grothendieck in the 1960s is perfectly adapted to this goal and provides the greatest simplicity and generality.
openaire +1 more source
Semantic Home Photo Categorization
IEEE Transactions on Circuits and Systems for Video Technology, 2007A semantic categorization method for generic home photo is proposed. The main contribution of this paper is to exploit a two-layered classification model incorporating camera metadata with low-level features for multilabel detection. The two-layered support vector machine (SVM) classifiers operate to detect local and global photo semantics in a feed ...
Seungji Yang, Sang-Kyun Kim, Yong Man Ro
openaire +3 more sources
Semantic Categorization and Retrieval of Images
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), 2007We propose a semantically based set of visual features, their relevance and organization for capturing the semantics of images from different categories. Our goal is to design a set of low-level descriptors that is linked to human perception of image content. The low-level descriptors are automatically associated with intermediate semantic descriptors.
Anca Loredana Ion +2 more
openaire +1 more source
Semantic Categorization of Digital Home Photo Using Photographic Region Templates
Information Processing and Management, 2007 In this paper, a semantic categorization method in generic home photos is proposed. In recent years, the semantic categorization of image has been a challenge due to the proliferation of digital home photos.
Yong Man Ro, Ji-Yeon Kim, Kyong Sok Seo
exaly +1 more source
Towards a Categorical Semantics of Type Classes
Fundamenta Informaticae, 1991This is an exercise in the description of programming languages as indexed categories. Type classes have been introduced into functional programming languages to provide a uniform framework for ‘overloading’. We establish a correspondence between type classes and comprehension schemata in categories.
Hilken, Barney P, Rydeheard, David E
openaire +8 more sources
Categorical Semantics of Control
2001In this talk, I will describe the categorical semantics of Parigot’s λμ-calculus [7]. The λμ-calculus is a proof-term calculus for classical logic, and at the same time a functional programming language with control operators. It is equal in power to Felleisen’s C operator 2, 1, except that it allows both a call-by-name and call-by-value semantics. The
openaire +2 more sources