Results 291 to 300 of about 5,349,741 (340)
Some of the next articles are maybe not open access.
Update semantics for multilevel relations
[1990] Proceedings of the Sixth Annual Computer Security Applications Conference, 2002A formal operational semantics is given for update operations on multilevel relations, i.e., relations in which individual data elements are classified at different levels. For this purpose, the familiar INSERT, UPDATE and DELETE operations of SQL are suitably generalized to cope with polyinstantiation.
Sushil Jajodia +2 more
openaire +2 more sources
On the Semantic Relation of Z and HOL
1998We investigate the relation between the semantic models of Z, as proposed by the Z draft standard, and of the polymorphic version of higher-order logic that is the basis for proof systems such as HOL and Isabelle/HOL. Disregarding the names in schema types, the type models of the two systems can be identified up to isomorphism.
openaire +2 more sources
Relational Scaling in Relational Semantic Systems
2009In this paper two developments in Conceptual Knowledge Processing are combined, namely Contextual Logic introduced by Rudolf Wille and Temporal Concept Analysis introduced by the author. The basic structures connecting both theories are Relational Semantic Systems (RSS), each consisting of conceptual scales and a Relational Data Systems (RDS) for the ...
openaire +1 more source
Relational Semantics and Domain Semantics for Epistemic Modals
Journal of Philosophical Logic, 2016The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is ...
openaire +1 more source
Refer-to-as Relations as Semantic Knowledge
Proceedings of the AAAI Conference on Artificial Intelligence, 2015We study Refer-to-as relations as a new type of semanticknowledge. Compared to the much studied Is-a relation,which concerns factual taxonomy knowledge, Refer-to-as relationsaim to address pragmatic semantic knowledge. Forexample, a “penguin” is a “bird” from a taxonomy point ofview, but people rarely refer to a “penguin” as a “bird ...
Song Feng 0002 +7 more
openaire +2 more sources
InstructScene: Instruction-Driven 3D Indoor Scene Synthesis with Semantic Graph Prior
International Conference on Learning RepresentationsComprehending natural language instructions is a charming property for 3D indoor scene synthesis systems. Existing methods directly model object joint distributions and express object relations implicitly within a scene, thereby hindering the ...
Chen-Guo Lin, Ya-Dong Mu
semanticscholar +1 more source
Semantic field and accessibility relations
KES'2000. Fourth International Conference on Knowledge-Based Intelligent Engineering Systems and Allied Technologies. Proceedings (Cat. No.00TH8516), 2002We give a fundamental definition of semantic fields and explain how accessibility relations can be related to semantic fields. The semantic field is then related to set theory, laws and facts, and Scott-Montague models.
Germano Resconi, T. Mura, Masaru Shimbo
openaire +2 more sources
Relation Elements for the Semantic Web
2004The investigation into the intrinsic nature of relations has led to the development of the Relation Element theory. At present, there is no significant initiative to comprehensively describe the intrinsic nature of relations in ontological representations for the Semantic Web.
Cartik R. Kothari, David J. Russomanno
openaire +2 more sources
Deep Semantic-Aware Proxy Hashing for Multi-Label Cross-Modal Retrieval
IEEE transactions on circuits and systems for video technology (Print)Deep hashing has attracted broad interest in cross-modal retrieval because of its low cost and efficient retrieval benefits. To capture the semantic information of raw samples and alleviate the semantic gap, supervised cross-modal hashing methods that ...
Ya-Dong Huo +6 more
semanticscholar +1 more source