Results 251 to 260 of about 822,981 (308)
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
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 ...
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
2017 IEEE 7th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2017
Semantic technologies (based upon domain ontologies) have been widely adopted in various biological, biomedical, and clinical research areas. Consequently, semantics-oriented data science and computational life sciences have increasingly attracted scientists' attention.
Karen Eilbeck +6 more
openaire +2 more sources
Semantic technologies (based upon domain ontologies) have been widely adopted in various biological, biomedical, and clinical research areas. Consequently, semantics-oriented data science and computational life sciences have increasingly attracted scientists' attention.
Karen Eilbeck +6 more
openaire +2 more sources
LOD-CS2013: Multileaming through a semantic representation of IEEE computer science curricula
2018 IEEE Global Engineering Education Conference (EDUCON), 2018Ontologies are considered one of the pillars of the Semantic Web. The semantic Web relies heavily on formal ontologies that structure subjacent data and information in machine-readable way for the purpose of that knowledge can be automatically read and processed by machines.
Edmundo Tovar Caro, Nelson Piedra
openaire +2 more sources
Bio-STEER: A Semantic Web workflow tool for Grid computing in the life sciences
Future Generation Computer Systems, 2007Life science research is becoming evermore computationally intensive. Hence, from a computational resource perspective, Grid computing provides a logical approach to meeting many of the computational needs of life science research. However, there are several barriers to the widespread use of Grid computing in life sciences. In this paper, we attempt to
Taowei David Wang +3 more
openaire +2 more sources
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 +2 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 +2 more sources
2019 XLV Latin American Computing Conference (CLEI), 2019
We present a study of research trends for the area of Computer Sciences in Ecuador in recent years. This analysis was performed through a new method that leverages on semantic web technologies and external knowledge bases (i.e. DBpedia and UNESCO nomenclature) for identifying research topics within articles’ metadata.
Victor Saquicela +3 more
openaire +2 more sources
We present a study of research trends for the area of Computer Sciences in Ecuador in recent years. This analysis was performed through a new method that leverages on semantic web technologies and external knowledge bases (i.e. DBpedia and UNESCO nomenclature) for identifying research topics within articles’ metadata.
Victor Saquicela +3 more
openaire +2 more sources