Results 31 to 40 of about 518,705 (322)

A Cop and Drunken Robber Game on n-Dimensional Infinite-Grid Graphs

Mathematics, 2021
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, Thiradet Jiarasuksakun, Anuwat Tangthanawatsakul, Pawaton Kaemawichanurat   +3 more
doaj   +1 more source

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

Geometric Characteristics of the Wasserstein Metric on SPD(n) and Its Applications on Data Processing

Entropy, 2021
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, Shiqiang Zhang, Yueqi Cao, Huafei Sun   +3 more
doaj   +1 more source

THE DYNAMIC INTERPLAY OF PHONOLOGY AND SEMANTICS IN MEDIA AND COMMUNICATION: AN INTERDISCIPLINARY EXPLORATION

European Journal of Applied Linguistics Studies, 2023
Phonology, semantics, and pragmatics are the three aspects of language fundamental to know how language works and how people process and use it.
Zijun Shen, Hanjing Hu, Mingting Zhao, Minjie Lai, Kamran Zaib   +4 more
semanticscholar   +1 more source

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
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

Modal logics are coalgebraic [PDF]

, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz, Venema, Yde   +4 more
core   +5 more sources

04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models [PDF]

, 2005
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, Panangaden, Prakash, Smyth, Michael B., Spreen, Dieter, Webster, Julian   +4 more
core   +1 more source

Template recovery attack on encrypted face recognition systems with unprotected decision using synthetic faces

Frontiers in Imaging
IntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit, Amina Bassit, Florian Hahn, Zohra Rezgui, Hatef Otroshi Shahreza, Hatef Otroshi Shahreza, Raymond Veldhuis, Raymond Veldhuis, Andreas Peter, Andreas Peter   +9 more
doaj   +1 more source

Mechanized semantics [PDF]

, 2010
The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core   +4 more sources

TOR: modular search with hookable disjunction [PDF]

, 2014
Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Demoen, Bart, Desouter, Benoit, Schrijvers, Tom, Triska, Markus   +3 more
core   +1 more source