Results 1 to 10 of about 1,389,684 (315)
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
The Handbook of English Linguistics, 2020 General rights Unless other specific re-use rights are stated the following general rights apply: Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a ...
David Smith, Jason Eisner
semanticscholar +1 more source
Semantics and complexity of SPARQL [PDF]
TODS, 2006 SPARQL is the standard language for querying RDF data. In this article, we address systematically the formal study of the database aspects of SPARQL, concentrating in its graph pattern matching facility.
Jorge Pérez +2 more
semanticscholar +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
Ergo, An Open Access Journal of Philosophy, 2023 I argue that emojis are essentially little pictures, rather than words, gestures, expressives, or diagrams. 🎁 means that the world looks like that, from some viewpoint.
Emar Maier
doaj +2 more sources
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Modulation Mining—Computer-Aided Exploration of Functional Chord Forms
Music & Science, 2023 The different labelling systems defined by the functional theories of harmony have been developed from about 1870 to 1950, without the help of computers. The complexity of harmonic labels spans from pure triads over added characteristic dissonances, over
Markus Lepper +2 more
doaj +1 more source
Semantics through Pictures [PDF]
, 1997 A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed ''constraint diagrams'', which can be used to precisely characterise a range of sophisticated, static ...
Ali Hamie +5 more
core +2 more sources
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]
, 1996 A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core +4 more sources
The Optimal Shape Parameter for the Least Squares Approximation Based on the Radial Basis Function
Mathematics, 2020 The radial basis function (RBF) is a class of approximation functions commonly used in interpolation and least squares. The RBF is especially suitable for scattered data approximation and high dimensional function approximation.
Sanpeng Zheng +2 more
doaj +1 more source