Results 41 to 50 of about 20,008 (316)

Efficient Computation of the Well-Founded Semantics over Big Data [PDF]

, 2014
Data originating from theWeb, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing interest in academia
Faber, Wolfgang, Tachmazidis, Ilias, Antoniou, Grigoris   +2 more
core   +1 more source

A metric for computational analysis of meaning [PDF]

Proceedings of the 11th coference on Computational linguistics -, 1986
A metric for assessing the complexity of semantic (and pragmatic) analysis in natural language processing is proposed as part of a general applied theory of linguistic semantics for NLP. The theory is intended as a complete projection of linguistic semantics onto NLP and is designed as an exhaustive list of possible choices among strategies of semantic
Sergei Nirenburg, Victor Raskin
openaire   +2 more sources

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics [PDF]

, 2005
Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics ...
Gopal Gupta, Michael Leuschel, Wang, Qian, Leuschel, Michael, Gupta, Gopal, Qian Wang   +5 more
core   +1 more source

Bootstrapping Optimization Techniques for the FINAL Fully Homomorphic Encryption Scheme

Information
With the advent of cloud computing and the era of big data, there is an increasing focus on privacy computing. Consequently, homomorphic encryption, being a primary technique for achieving privacy computing, is held in high regard.
Meng Wu, Xiufeng Zhao, Weitao Song
doaj   +1 more source

Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi, Katharine Lee, Kerry C. Nix, Miguel Menchaca, Xiwei Shé, Lorelei Santa Maria, Wei Wu, Zihuai He, Fiona M. Baumer   +8 more
wiley   +1 more source

Relational and Allegorical Semantics for Constraint Logic Programming

, 2012
El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de
Gallego Arias, Emilio Jesús
core   +1 more source

Denotational semantics of recursive types in synthetic guarded domain theory [PDF]

, 2016
Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for reasoning operationally about programming languages with advanced features including general ...
Møgelberg, Rasmus Ejlers; id_orcid, Møgelberg, Rasmus, Paviotti, Marco, Rasmus Ejlers Møgelberg, Marco Paviotti   +4 more
core   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Semantics and complexity of recursive aggregates in answer set programming

, 2011
The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). They strengthen the modelling power of ASP in terms of natural and concise problem representations.
Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald   +2 more
core   +1 more source

Computing in matrix groups without memory [PDF]

, 2013
Funding: UK Engineering and Physical Sciences Research Council award EP/K033956/1Memoryless computation is a novel means of computing any function of a set of registers by updating one register at a time while using no memory.
Maximilien Gadouleau, Cameron, P., Gadouleau, Maximilien, Cameron, Peter Jephson, Gadouleau, M., Cameron, Peter, Fairbairn, Ben, Cameron, P.J., Peter J. Cameron, Ben Fairbairn, Gadoleau, M.   +10 more
core   +1 more source