Results 141 to 150 of about 3,424,284 (379)
A computer tutor for logic semantics [PDF]
FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH37011, 2003 The authors report on a computer tutor for the semantics of the Prolog subset of predicate calculus. It gives students statements in English to represent in a single line of Prolog, parses their answers, and compares the parses to the parses of correct answers.
openaire +3 more sources
Semantics of Computable Physical Models
Studia Logica, 2023 AbstractThis article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that incorporates aspects of operationalism and Popper’s degrees of falsifiability.
openaire +2 more sources
Frame-Based Continuous Lexical Semantics through Exponential Family Tensor Factorization and Semantic Proto-Roles [PDF]
arXiv, 2017 We study how different frame annotations complement one another when learning continuous lexical semantics. We learn the representations from a tensorized skip-gram model that consistently encodes syntactic-semantic content better, with multiple 10% gains over baselines.
arxiv
Scalability using effects [PDF]
, 2013 This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct.
Duval, Dominique
core +1 more source
Towards a computational formalization of natural language semantics [PDF]
, 1969 Robert Schwarcz
openalex +1 more source
Combining link and content-based information in a Bayesian inference model for entity search
, 2012 An architectural model of a Bayesian inference network to support entity search in semantic knowledge bases is presented. The model supports the explicit combination of primitive data type and object-level semantics under a single computational framework.
Koumenides, Christos +3 more
core
Minimal founded semantics for disjunctive logic programs and deductive databases [PDF]
Theory and Practice of Logic Programming, 4(1): 75-93 (2004), 2003 In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs but differs from disjunctive stable model semantics (the extension of stable model semantics for disjunctive ...
arxiv
Semantic and pragmatic computing with GETARUNS [PDF]
Proceedings of the 2008 Conference on Semantics in Text Processing - STEP '08, 2008 We present a system for text understanding called GETARUNS, in its deep version applicable only to Closed Domains. We will present the low level component organized according to LFG theory. The system also does pronominal binding, quantifier raising and temporal interpretation.
openaire +3 more sources
Automated Detection of Hillforts in Remote Sensing Imagery With Deep Multimodal Segmentation
Archaeological Prospection, EarlyView.ABSTRACT Recent advancements in remote sensing and artificial intelligence can potentially revolutionize the automated detection of archaeological sites. However, the challenging task of interpreting remote sensing imagery combined with the intricate shapes of archaeological sites can hinder the performance of computer vision systems.
Daniel Canedo +7 more
wiley +1 more source
Fast Search Using k-d Trees with Fine Search for Spectral Data Identification
MathematicsSpectral identification is an essential technology in various spectroscopic applications, often requiring large spectral databases. However, the reliance on large databases significantly increases computational complexity.
YoungJae Son +2 more
doaj +1 more source