Results 221 to 230 of about 493,809 (298)
From Semantics to Computer Science
, 2009 Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through ...
Grard Huet +3 more
semanticscholar +4 more sources
Logic and Semantic Technologies for Computer Science Education [PDF]
2019 IEEE 15th International Scientific Conference on Informatics, 2019 We report on some projects to develop software rooted in formal logic and semantics in order to enhance education in computer science and mathematics. The goal is to let students actively engage with the course material by solving concrete problems where the correctness of a solution is automatically checked; furthermore, if a solution is not correct ...
W. Schreiner
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Computational comonads and intensional semantics
1992Abstract We explore some foundational issues in the development of a theory of intensional semantics, in which program denotations may convey information about computation strategy in addition to the usual extensional information. Beginning with an “extensional” category C , whose morphisms we can think of as functions of some kind, we model a ...
S. Geva, S. Brookes
openaire +3 more sources
The semantics of dataflow with firing
2009Abstract Dataflow models of computation have intrigued computer scientists since the 1970s. They were first introduced by Jack Dennis as a basis for parallel programming languages and architectures, and by Gilles Kahn as a model of concurrency.
Edward A. Lee, Eleftherios Matsikoudis
openaire +3 more sources
Scientometrics, 2020
Preprints play an increasingly critical role in academic communities. There are many reasons driving researchers to post their manuscripts to preprint servers before formal submission to journals or conferences, but the use of preprints has also sparked ...
Jialiang Lin +4 more
semanticscholar +1 more source
Preprints play an increasingly critical role in academic communities. There are many reasons driving researchers to post their manuscripts to preprint servers before formal submission to journals or conferences, but the use of preprints has also sparked ...
Jialiang Lin +4 more
semanticscholar +1 more source
On the use of semantics in computer science, invited talk
, 1987 Item does not contain ...
Henk Barendregt
openaire +2 more sources
Computer Science Education, 2020
Background and context Researchers have been looking into the complexity of computer science (CS) education and tried to apply rigorous and relevant educational research methods to understand and facilitate the learning experience of students.
Zhen Xu +4 more
semanticscholar +1 more source
Background and context Researchers have been looking into the complexity of computer science (CS) education and tried to apply rigorous and relevant educational research methods to understand and facilitate the learning experience of students.
Zhen Xu +4 more
semanticscholar +1 more source
SEMANTIC COMPUTING AND COMPUTER SCIENCE
International Journal of Semantic Computing, 2011Semantic Computing is an emerging research field that has drawn much attention from both academia and industry. It addresses the derivation and matching of semantics of computational "content" where "content" may be anything including text, multimedia, hardware, network, etc. which can be mapped to many areas in Computer Science that involve analyzing
Ke Hao +3 more
openaire +2 more sources
Social and Semantic Computing in Support of Citizen Science [PDF]
, 2011 We describe our ongoing work on using social media as a platform for citizen science. Building on our previous work of facilitating citizen science observations, and using RDF to integrate them with existing biodiversity knowledge, we are currently building Facebook Apps that will enable the reporting of observations, as well as the browsing and ...
Joel Sachs, Tim Finin
openaire +1 more source
Semantic ranking based on Computer Science Ontology weight
Ninth International Conference on Digital Information Management (ICDIM 2014), 2014Document Ranking retrieval systems are the top documents ordering and particularly appropriate for user's query. Most existing assigned based on the information retrieval term frequency (tf) that appears in the document. Although the number of times that the term occurrence is more relevant, but not meant for rank documents according to their proximity
Anirach Mingkhwan, Thanyaporn Boonyoung
openaire +2 more sources