Results 21 to 30 of about 246,716 (195)
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 +3 more
core +1 more source
Efficient Human Pose Estimation in Hierarchical Context
IEEE Access, 2019 Most existing human pose estimation methods focus on enhancing the accuracy performance alone while ignoring the critical model efficiency issue. This dramatically limits their scalability and deployability in large-scale applications.
Feng Zhang, Xiatian Zhu, Mao Ye
doaj +1 more source
—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels
Music & Science, 2022 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]
, 2007 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
e-assessment using latent semantic analysis in the computer science domain [PDF]
Proceedings of the Workshop on eLearning for Computational Linguistics and Computational Linguistics for eLearning - eLearn '04, 2004 Latent Semantic Analysis (LSA) is a statistical Natural Language Processing (NLP) technique for inferring meaning from a text. Existing LSA-based applications focus on formative assessment in general domains. The suitability of LSA for summative assessment in the domain of computer science is not well known. The results from the pilot study reported in
Pete Thomas +3 more
openaire +1 more source
Immersive learning research [PDF]
, 2018 Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin +3 more
core +2 more sources
Fractal and Fractional, 2023 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
Reproducibility of execution environments in computational science using Semantics and Clouds [PDF]
Future Generation Computer Systems, 2017 Q1
Idafen Santana-Perez +5 more
openaire +2 more sources
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 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
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 +3 more
doaj +1 more source