Results 71 to 80 of about 39,536,715 (344)

A robust semantics hides fewer errors [PDF]

, 2009
In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
Reeves, Steve, Streader, David, David Streader, Steve Reeves   +3 more
core   +1 more source

Operational semantics for SPARQL Update [PDF]

, 2011
Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for
HORNE, Ross James, Ross Horne, Gibbins, Nicholas, Nicholas Gibbins, Horne, Ross, Vladimiro Sassone, Sassone, Vladimiro   +6 more
core   +1 more source

Decentralized Zone-Based PKI: A Lightweight Security Framework for IoT Ecosystems

Information
The advent of Internet of Things (IoT) devices has revolutionized our daily routines, fostering interconnectedness and convenience. However, this interconnected network also presents significant security challenges concerning authentication and data ...
Mohammed El-Hajj, Pim Beune
doaj   +1 more source

Age-Related Changes in Micro Brain Characteristics Based on Relaxed Mean-Field Model

Frontiers in Aging Neuroscience, 2022
Brain health is an important research direction of neuroscience. In addition to the effects of diseases, we cannot ignore the negative effect of aging on brain health.
Ke Zhan, Ke Zhan, Ke Zhan, Yi Zheng, Yi Zheng, Yi Zheng, Yaqian Yang, Yaqian Yang, Yaqian Yang, Yi Zhen, Yi Zhen, Yi Zhen, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng   +23 more
doaj   +1 more source

Semantics

Conflict in a Buddhist Society, 2018
Recent work on the acquisition of the binding conditions suggests that pronominal clitics (PCs) encode the presence of an unsaturated argument position. In other words, PC-constructions encode functional abstraction: the argument position related to the ...
D. Beaver, Joey Frazee
semanticscholar   +1 more source

Well-Founded Semantics for Extended Datalog and Ontological Reasoning [PDF]

, 2013
The Datalog± family of expressive extensions of Datalog has recently been introduced as a new paradigm for query answering over ontologies, which captures and extends several common description logics.
Lukasiewicz, Thomas, Gottlob, Georg, Kupke, Clemens, Hernich, Andre   +3 more
core   +5 more sources

Zero-Shot Visual Recognition Using Semantics-Preserving Adversarial Embedding Networks [PDF]

2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2017
We propose a novel framework called Semantics-Preserving Adversarial Embedding Network (SP-AEN) for zero-shot visual recognition (ZSL), where test images and their classes are both unseen during training.
Long Chen, Hanwang Zhang, Jun Xiao, W. Liu, Shih-Fu Chang   +4 more
semanticscholar   +1 more source

Game semantics for interface middleweight Java [PDF]

, 2014
We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code.
Tzevelekos, Nikos, Andrzej S. Murawski, Nikos Tzevelekos, Murawski, Andrzej S.   +3 more
core   +1 more source

Polysemy in Compositional Distributional Semantics [PDF]

, 2012
Research in distributional semantics has made good progress in capturing individual word meanings using contextual frequencies obtained from a large corpus.
Reddy, Siva
core   +6 more sources

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates [PDF]

, 2011
Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario, Faber, Wolfgang, Leone, Nicola, Calimeri, Francesco, Perri, Simona   +4 more
core   +3 more sources