Results 81 to 90 of about 246,716 (195)

Design and development of semantic web-based system for computer science domain-specific information retrieval

Perspectives in Science, 2016
SummaryIn semantic web-based system, the concept of ontology is used to search results by contextual meaning of input query instead of keyword matching. From the research literature, there seems to be a need for a tool which can provide an easy interface for complex queries in natural language that can retrieve the domain-specific information from the ...
Bansal, Ritika, Chawla, Sonal
openaire   +1 more source

The Knowledge Life Cycle for e-learning

, 2006
In this paper, we examine the semantic aspects of e-learning from both pedagogical and technological points of view. We suggest that if semantics are to fulfil their potential in the learning domain then a paradigm shift in perspective is necessary, from
Davis, Hugh, Doody, Karl, Millard, David, Tao, Feng, Woukeu, Arouna   +4 more
core   +1 more source

State-based and process-based value passing [PDF]

, 2003
State-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in order that the formalisms are combined in ways which have, or
Reeves, Steve, Streader, David
core   +1 more source

Ontologies relevant for improving data interoperability for food loss and waste: A review and research agenda

Cleaner and Responsible Consumption
Food loss and waste (FLW) is a global challenge. Interoperable FLW ontologies will foster more comprehensive data sharing and inform better solutions to reduce and recover excess food and to valorize wasted food and food byproducts.
Matthew C. Lange, Ran Li, John W. Apolzan, Patrick R. Huber, Emily Steliotes, Kai Robertson, Norbert L.W. Wilson, Karthik Jain, Rajiv Ramnath, Brian E. Roe, Edward S. Spang   +10 more
doaj   +1 more source

Shape and Semantics Modelling. La ricerca dell'IMATI -CNR per la rappresentazione, l'analisi e la documentazione di modelli digitali 3D e le sue applicazioni ai Beni Culturali

Archeomatica, 2016
The Shape and Semantics Modelling Group of CNR-IMATI (an Institute of the Italian National Research Council) is active on several research topics related to shape modelling and retrieval.
Bianca Falcidieno
doaj   +2 more sources

Dynamical Analysis of a Caputo Fractional-Order Modified Brusselator Model: Stability, Chaos, and 0-1 Test

Axioms
Differential equations have demonstrated significant practical effectiveness across diverse fields, including physics, chemistry, biological engineering, computer science, electrical power systems, and security cryptography.
Messaoud Berkal, Mohammed Bakheet Almatrafi   +1 more
doaj   +1 more source

An Information-Theoretic Proof of a Hypercontractive Inequality

Entropy
The famous hypercontractive estimate discovered independently by Gross, Bonami and Beckner has had a great impact on combinatorics and theoretical computer science since it was first used in this setting in a seminal paper by Kahn, Kalai and Linial.
Ehud Friedgut
doaj   +1 more source

Interpolation Once Binary Search over a Sorted List

Mathematics
Searching over a sorted list is a classical problem in computer science. Binary Search takes at most log2⁡n+1 tries to find an item in a sorted list of size n.
Jun-Lin Lin
doaj   +1 more source

Refining Mark Burgin’s Case against the Church–Turing Thesis

Philosophies
The outputs of a Turing machine are not revealed for inputs on which the machine fails to halt. Why is an observer not allowed to see the generated output symbols as the machine operates?
Edgar Graham Daylight
doaj   +1 more source

A Formal Verification Library Design for Behavioral Refinement of CompCert Clight

IEEE Access
As computer systems become increasingly ubiquitous in our daily lives, ensuring the safety and reliability of system software has become a major concern across various fields of computer science.
Yoonseung Kim
doaj   +1 more source