Results 11 to 20 of about 1,642,960 (338)
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +4 more sources
The impact of interdisciplinary dynamic images on public perception [PDF]
E3S Web of Conferences, 2021 Dynamic image, usually defined as motion graphics or dynamic graphics, is a kind of image art based on art design and computer science. In a broad sense, dynamic image is a discipline that integrates animation, film, and graphic design.
Shi ChaoYuan, Gu Li
doaj +1 more source
Py-Feat: Python Facial Expression Analysis Toolbox [PDF]
Affective Science, 2021 Studying facial expressions is a notoriously difficult endeavor. Recent advances in the field of affective computing have yielded impressive progress in automatically detecting facial expressions from pictures and videos.
J. H. Cheong +3 more
semanticscholar +1 more source
Advances in the application of a brain–computer interface to the Metaverse
工程科学学报, 2023 The brain–machine interface has been an integral component of the metaverse since the inception of the latter, in his classic science fiction novel “True Names,” Vernor Vinge, the American mathematician and computer science Professor, describes a virtual
Xue WANG +3 more
doaj +1 more source
Deep learning methods applied to digital elevation models: state of the art
Geocarto International, 2023 Deep Learning (DL) has a wide variety of applications in various thematic domains, including spatial information. Although with limitations, it is also starting to be considered in operations related to Digital Elevation Models (DEMs). This study aims to
Juan J. Ruiz-Lendínez +4 more
doaj +1 more source
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2023 After entering the twenty-first century, with the development of science and technology represented by artificial intelligence, the content of art design and creation is increasingly rich.
Zexian Nie, Yingxin Yu, Yong Bao
semanticscholar +1 more source
Frontiers in Psychology, 2022 Under the wave of globalization, the ties between countries are getting closer and closer. Based on the differences in the languages of different countries, the importance of English as a universal language is becoming more and more prominent.
Qilin Yan
doaj +1 more source
Higher-Order Termination: from Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination).
C. Borralleras +13 more
core +9 more sources
CENTRE-PERIPHERY DICHOTOMY AND ITS INVESTIGATION BY GIS METHODS [PDF]
Acta Geographica Debrecina. Landscape & Environment Series, 2016 Centre-periphery dichotomy can be regarded as one of the crucial issues in human geography and regional science. The definition of periphery is far from unambiguous due to its relative expression and its content.
JÁNOS PÉNZES
doaj +1 more source
IEEE Transactions on Affective Computing, 2023 Many areas in computer science are facing the need to analyze, quantify and reproduce movements expressing emotions. This paper presents a systematic review of the intelligible factors involved in the expression of emotions in human movement and posture.
Mehdi-Antoine Mahfoudi +4 more
semanticscholar +1 more source