Results 21 to 30 of about 237,519 (286)
—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
Metadata Augmentation for Semantic- and Context- Based Retrieval of Digital Cultural Objects [PDF]
Cultural objects are increasingly stored and generated in digital form, yet effective methods for their indexing and retrieval still remain an open area of research.
Pham, Binh, Smith, Robert
core +2 more sources
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
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

