Results 61 to 70 of about 85,039 (190)
Perspectival Plurality, Relativism, and Multiple Indexing [PDF]
In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which
Zeman, Dan
core
Automatic Verification of Message-Based Device Drivers
We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C and
Amani, Sidney +5 more
core +2 more sources
Preface: Land Surface Processes and Interactions—From HCMM to Sentinel Missions and Beyond
The scientific understanding of the energy and water fluxes between land and atmosphere primarily predicates our capacity to describe, model, and predict the highly complex Earth system, which is formed by mutually interlinked components (land ...
Zhongbo Su, Zoltán Vekerdy, Yijian Zeng
doaj +1 more source
A model for representing the semantics of MWEs: From lexical semantics to the semantic annotation of complex predicates. [PDF]
Giouli V.
europepmc +1 more source
Breaking Instance-Independent Symmetries In Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is also used to model more traditional CSPs relevant to AI, such as planning,
Aloul, F. A. +3 more
core +1 more source
The lexical representation of English verbs of action. Complex predicates and structures
This article aims at proposing a lexical representation for a set of English verbs of action. The analysis is carried out on the grounds of Role and Reference Grammar (RRG) and includes aspects like Aktionsart type, macrorole and syntactic function ...
Ana Elvira Ojanguren López
doaj +1 more source
Durante los últimos años, la lingüística moderna, amparada en criterios diacrónicos y de frecuencia, continúa multiplicando el panorama de conceptos y términos sobre expresiones que la gramática tradicional calificaba simplemente de "locuciones".
Manuel Rivas Zancarrón
doaj
The so-called perífrasis perfectivas in Galician present the action as concluded or realized. This particular aspectual feature constitutes the common ground for an otherwise heterogeneous set of constructions, ranging from rematar de ‘finish ...
Natalia Jardón
doaj +1 more source
Data Provenance Inference in Logic Programming: Reducing Effort of Instance-driven Debugging [PDF]
Data provenance allows scientists in different domains validating their models and algorithms to find out anomalies and unexpected behaviors. In previous works, we described on-the-fly interpretation of (Python) scripts to build workflow provenance graph
Huq, Mohammad Rezwanul +2 more
core +2 more sources

