Results 41 to 50 of about 822,981 (308)
Brain Sciences, 2021 Graph theory in the last two decades penetrated sociology, molecular biology, genetics, chemistry, computer engineering, and numerous other fields of science.
Balázs Szalkai +2 more
doaj +1 more source
Typed Operational Semantics for Dependent Record Types [PDF]
EPTCS 53, 2011, pp. 30-46, 2011 Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics. In particular, the metatheoretical properties we have proved include strong normalisation, Church-Rosser and
arxiv +1 more source
Proceedings of the 13th international conference on World Wide Web, 2004 We present a Semantic Web application that we callCS AKTive Space. The application exploits a wide range of semantically heterogeneousand distributed content relating to Computer Science research in theUK. This content is gathered on a continuous basis using a variety of methods including harvesting and scraping as well as adopting a range models for ...
schraefel, m.c. +4 more
openaire +4 more sources
Construção da referência e representação lexical: por um tratamento dinâmico da semântica lexical
Cadernos de Estudos Lingüísticos, 2011 This papers deals with some models of explanation of the lexical semantics offered by recent linguistics and cognitive science. Our aim is to show the inadequacy of the digital computer model when it is confronted to some data.
Maria Luiza Aragão da Cunha Lima
doaj +1 more source
Mistrz. Krótka historia słowa w polszczyźnie (badania korpusowe) [PDF]
Język. Religia. Tożsamość, 2023 In this article, I analysed the history of the occurrence of one lexeme in Polish in the last 200 years: master (pol. mistrz). With data from Polish language corpora, I traced its frequency and examined its semantics and its transformations.
Michał Szczyszek
doaj +1 more source
Economics of Semantic Communication System: An Auction Approach [PDF]
arXiv, 2022 Semantic communication technologies enable wireless edge devices to communicate effectively by transmitting semantic meaning of data. Edge components, such as vehicles in next-generation intelligent transport systems, use well-trained semantic models to encode and decode semantic information extracted from raw and sensor data.
arxiv
e-assessment using latent semantic analysis in the computer science domain [PDF]
Proceedings of the Workshop on eLearning for Computational Linguistics and Computational Linguistics for eLearning - eLearn '04, 2004 Latent Semantic Analysis (LSA) is a statistical Natural Language Processing (NLP) technique for inferring meaning from a text. Existing LSA-based applications focus on formative assessment in general domains. The suitability of LSA for summative assessment in the domain of computer science is not well known. The results from the pilot study reported in
Anne deRoeck +3 more
openaire +2 more sources
Scholarly Big Data: Computational Approaches to Semantic Labeling in Materials Science
, 2021 Work presented at the workshop “Organizing Big Data, Information, and Knowledge” in ACM/JCDL 2020 (Association of Computing Machinery/Joint Conference on Digital Libraries).
Xintong Zhao +4 more
openaire +1 more source
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) [PDF]
EPTCS 129, 2013, pp. 360-383, 2013 We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of semantics called pretty-big-step semantics. We present a pretty-big-step semantics of a language with simple objects called O'While and specify a series of instrumentations of ...
arxiv +1 more source
BMC Bioinformatics, 2007 The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists, who hold knowledge about techniques and best practice on ...
Aranguren Mikel +4 more
doaj +1 more source