Results 31 to 40 of about 241,032 (325)
—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels
Traditional harmonic analysis annotations can be represented in a computer model of a piece of music by plain text strings. But whenever automated processing like analysis, comparison or retrieval is intended, a formal definition is helpful.
Markus Lepper +2 more
doaj +1 more source
Fixed point theory is a branch of mathematics that studies solutions that remain unchanged under a given transformation or operator, and it has numerous applications in fields such as mathematics, economics, computer science, engineering, and physics. In
Danish Ali +5 more
doaj +1 more source
A Cop and Drunken Robber Game on n-Dimensional Infinite-Grid Graphs
A Cop and Drunken Robber (CDR) game is one variation of a famous combinatorial game, called Cops and Robbers, which has been extensively studied and applied in the area of theoretical and computer science as demonstrated by several conferences and ...
Nuttanon Songsuwan +3 more
doaj +1 more source
Mathematical Logic and Deduction in Computer Science Education
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +1 more source
The Wasserstein distance, especially among symmetric positive-definite matrices, has broad and deep influences on the development of artificial intelligence (AI) and other branches of computer science.
Yihao Luo +3 more
doaj +1 more source
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review
Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Cheng, Yixin, Nunes, Bernardo Pereira
openaire +2 more sources
Construção da referência e representação lexical: por um tratamento dinâmico da semântica lexical
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
EXTENSION OF CRITICAL PROGRAMS OF THE COMPUTATIONAL THEORY OF MIND [PDF]
Technological advances in computer science have secured the computer metaphor status of a heuristic methodological toolused to answer the question about the nature of mind.
Pavel N. Baryshnikov
doaj +1 more source
04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models [PDF]
Topological notions and methods are used in various areas of the physical sciences and engineering, and therefore computer processing of topological data is important.
Kopperman, Ralph +4 more
core +1 more source
Semantics out of context: nominal absolute denotations for first-order logic and computation
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source

