Results 241 to 250 of about 231,620 (310)

Application of domain-specific modeling in kinetography and bipedal humanoid robot control. [PDF]

PeerJ Comput Sci
Djukić V, Oros D, Penčić M, Lu Z.
europepmc   +1 more source

Protocol Reverse Analysis of Ethernet for Control Automation Technology Based on Sequence Alignment and Pearson Correlation Coefficient. [PDF]

Sensors (Basel)
Wang X, Yao Y, Li Z, Su C, Tian Y.
europepmc   +1 more source

Mind the semantic gap: semantic efficiency in human computer interfaces. [PDF]

Front Artif Intell
Horsley J.
europepmc   +1 more source

“Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980

, 2022
openaire   +1 more source

On the Semantics of Infinite Computations in Logic Programs(Mathematical Foundations of Computer Science and Their Applications)

On the Semantics of Infinite Computations in Logic Programs(Mathematical Foundations of Computer Science and Their Applications)
openaire  

From Semantics to Computer Science

, 2009
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through ...
Yves Bertot, Grard Huet, Jean-Jacques Lvy, Gordon Plotkin   +3 more
openalex   +3 more sources