Results 21 to 30 of about 518,705 (322)
EVENTSKG: A 5-Star Dataset of Top-Ranked Events in Eight Computer Science Communities
Extended Semantic Web Conference, 2019 Metadata of scientific events has become increasingly available on the Web, albeit often as raw data in various formats, disregarding its semantics and interlinking relations.
S. Fathalla, C. Lange, S. Auer
semanticscholar +1 more source
Full abstraction for fair testing in CCS [PDF]
, 2013 In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully
B. Ahrens +10 more
core +4 more sources
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
A Unified Approach for Extremal General Exponential Multiplicative Zagreb Indices
Axioms, 2023 The study of the maximum and minimal characteristics of graphs is the focus of the significant field of mathematics known as extreme graph theory. Finding the biggest or smallest graphs that meet specified criteria is the main goal of this discipline ...
Rashad Ismail +4 more
doaj +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
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
Query Expansion Using Conceptual Knowledge in Computer Science
Advanced Science Letters, 2018 Traditional information retrieval systems retrieve documents based on keyword based matching, thereby incapable to provide results according to user information needs. These systems do not consider the semantic relationships among the user query keywords,
M. A. Raza +5 more
semanticscholar +1 more source
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
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