Results 71 to 80 of about 246,716 (195)
Meaning and Reference in Programming Languages
PhilosophiesThis paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj +1 more source
Two topologies are better than one [PDF]
Partially ordered sets and metric spaces are used in studying semantics in Computer Science. Sets with both these structures are hence of particular interest.
O'Neill, Simon
core
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk
BRICS Report Series, 1994 This is a transcript of a talk at the inauguration of BRICS, Basic Research in Computer Science, Centre of the Danish Research Foundation, on 2 February 1994 at the Steno museum, University of Aarhus, Denmark.
openaire +2 more sources
An Automated Semantic Annotation Tool Supported by an Ontology in the Computer Science Domain
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015 The annotation of documents can be performed manually, semi-assisted or automated, also it can use the help of different knowledge resources as a set of rules or ontology. In this paper, we show the design of a semantic annotation tool that works automatically on power in order to efficiently manage academic documents in spanish produced in ...
Andrés Melgar, Rodrigo Espinoza
openaire +1 more source
Lean and Full Congruence Formats for Recursion
, 2017 In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recursion construct.
van Glabbeek, Rob
core +1 more source
Realisability Semantics for Intersection Types and Expansion Variables [PDF]
, 2008 Expansion was invented at the end of the 1970s for calculating principal typings for $\lambda$-terms in type systems with intersection types. Expansion variables (E-variables) were invented at the end of the 1990s to simplify and help mechanise expansion.
Kamareddine, Fairouz +3 more
core +2 more sources
A Voting-Based Ensemble Approach for Brain Disorder Detection Using Random Forest
ComputersBackground: Automatic detection of abnormal electroencephalogram (EEG) signals is essential for supporting clinical screening and reducing human error in EEG interpretation.
Dina Abooelzahab +3 more
doaj +1 more source
International Journal of Distributed Sensor Networks, 2019 To enhance the safety and stability of autonomous vehicles, we present a deep learning platooning-based video information-sharing Internet of Things framework in this study.
Zishuo Zhou +3 more
doaj +1 more source
Idempotent Factorizations of Square-Free Integers
Information, 2019 We explore the class of positive integers n that admit idempotent factorizations n = p ¯ q ¯ such that λ ( n ) ∣ ( p ¯ − 1 ) ( q ¯ − 1 ) , where λ is the Carmichael lambda ...
Barry Fagin
doaj +1 more source