The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Exploring the rationality of some syntactic merging operators (extended version)
[article]
2012
arXiv
pre-print
Preserved Fulltext
In this work we define some syntactical merging operators and exploring its rationality properties. ...
In order to have operators with a lower computational complexity, some merging operators defined in a syntactical way have be proposed. ...
In order to satisfy more rational properties, it will be interesting to explore other alternatives to definition given by Equation (4) , in particular, the use of some kinds of aggregation functions ( ...
arXiv:1207.4813v1
fatcat:xvgzmtvrjfbppiygurk4iybncq
Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version)
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Based on our experience with Siemens, we argue that in order to overcome those limitations OBDA should be extended and become analytics, source, and cost aware. ...
Real-time analytics that requires integration and aggregation of heterogeneous and distributed streaming and static data is a typical task in many industrial scenarios such as diagnostics of turbines in ...
For simplicity of presentation we assume that D is the set of rational numbers. ...
arXiv:1607.05351v2
fatcat:3vfhmj4tabddtptampyd2riv7q
Can determinism and compositionality coexist in RML? (extended version)
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
such an interpretation is equivalent to the operational semantics of the calculus. ...
While determinism of the trace calculus ensures better performances of the generated monitors, it makes the semantics of its operators less intuitive. ...
The side condition of rule (and) uses the partial binary operator ∪ to merge substitutions: σ 1 ∪ σ 2 returns the union of σ 1 and σ 2 , if they coincide on the intersection of their domains, and is undefined ...
arXiv:2008.06453v2
fatcat:5v2aaseebzhvth7dvjpwh3rheq
PUG: A Framework and Practical Implementation for Why & Why-Not Provenance (extended version)
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, i.e., the part of the provenance that is relevant to answer the question. ...
Specifically, we introduce a graph-based provenance model that, while syntactic in nature, supports reverse reasoning and is proven to encode a wide range of provenance models from the literature. ...
For example, to explore successful derivations of Q(n, s), we are interested in both train connections from New York to some city (T(n, Z)) and from any city to Seattle (T(Z, s)). ...
arXiv:1808.05752v1
fatcat:wqftuxkqtbfvjgffvrnbpdt524
Impossibility in Belief Merging (Extended Abstract)
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
These epistemic versions of social postulates are given, essentially, in terms of the finite propositional logic. We state some representation theorems for these operators. ...
Third, we extend the set of rational postulates in order to consider the epistemic versions of the classical postulates of social choice theory: standard domain, Pareto property, independence of irrelevant ...
Acknowledgements Thanks to the CDCHTA-ULA for its financial support to the Project C-1855-13-05-A. ...
doi:10.24963/ijcai.2018/799
dblp:conf/ijcai/DiazP18
fatcat:2c4i6cvegvgwxdfkxcbbfdcnsu
A state-of-the-art survey on software merging
2002
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
There is a tendency towards operation-based merging because of its increased expressiveness. ...
AbstractÐSoftware merging is an essential aspect of the maintenance and evolution of large-scale software systems. ...
Andrews, editor-in-chief of TSE, as well as the anonymous reviewers, for their useful recommendations. ...
doi:10.1109/tse.2002.1000449
fatcat:x4sgqvou2zacbpruhg6jzqlhxm
Inconsistency Resolution in Merging Versions of Architectural Models
2014
2014 IEEE/IFIP Conference on Software Architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
during the merging of model versions. ...
Our approach automatically finds and presents to the software architects all solutions for resolving all inconsistencies arisen during the merging of model versions. ...
Without adequate tool support, model merging may result in a syntactically and/or semantically inconsistent merged version. ...
doi:10.1109/wicsa.2014.31
dblp:conf/wicsa/DamRE14
fatcat:yzcowziq4ffmllpoyvlon6ysvy
Abstract Compilation for Verification of Numerical Accuracy Properties
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
First, we extend an existing runtime verification tool called E-ACSL with rational numbers to monitor accuracy properties at runtime. ...
of the initial program. ...
The authors thank Romain Soulat and Thales Research & Technology for providing case studies and participation in the evaluation. ...
arXiv:1911.10930v1
fatcat:ulxdanrqvvd3lk7apseqmcjimq
Effect Systems Revisited—Control-Flow Algebra and Semantics
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Second, motivated by semantic questions, the syntactic notion of set-(or semilattice-) based effect system was linked to the semantic notion of monads and more recently to graded monads which give a more ...
We give a lightweight tutorial explanation of the concepts involved in these two threads and then unify them via the notion of an effect-directed semantics for a control-flow algebra of effects. ...
The second author is funded by EPSRC EP/K011715/1 and thanks Nobuko Yoshida for her support. ...
doi:10.1007/978-3-319-27810-0_1
fatcat:aclex3rkqzcntpd3i24rchz2l4
Three Factors in Language Design
2005
Linguistic Inquiry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
computational efficiency, eliminating some of the technology postulated as specific to language and providing more principled explanation of linguistic phenomena. ...
The Principles-and-Parameters approach opened the possibility for serious investigation of the third factor, and the attempt to account for properties of language in terms of general considerations of ...
Unless some stipulation is added, there are two subcases of the operation Merge. ...
doi:10.1162/0024389052993655
fatcat:zvdizugzyvb65d7jq5ahes5kdm
Labels, cognomes, and cyclic computation: an ethological perspective
2015
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ii) explore how syntactic theories account for what ethology may determine to be human-specific. ...
It is shown that the operation Label, not Merge, constitutes the evolutionary novelty which distinguishes human language from non-human computational systems; a proposal lending weight to a Weak Continuity ...
A version of this paper was presented at the Biolinguistics Initiative Barcelona, and I would like to thank all those present. ...
doi:10.3389/fpsyg.2015.00715
pmid:26089809
pmcid:PMC4453271
fatcat:w564tkxdx5d55cyeagcpivgjea
La gramàtica generativa i la facultat del llenguatge: descobriments, preguntes i desafiaments
2019
Catalan Journal of Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We highlight some of the most pressing outstanding challenges, in the hope of inspiring future research. Resum. ...
We discuss some of the insights this approach to language has produced, including substantial achievements in the understanding of basic properties of language and its interactions with interfacing systems ...
Do we need operations other than MERGE for the construction of syntactic objects? ...
doi:10.5565/rev/catjl.288
fatcat:uldgrathijevzamehvew5vip5i
Rethinking principles A and B from a Free Merge perspective
[chapter]
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
to the choice between Internal Merge and External Merge at the phase level, each yielding a distinct interpretive outcome at the conceptual-intentional (CI) interface. ...
This squib sketches out the beginnings of a bottom-up, minimalist rethinking of pronominal reference constraints (essentially, principles A and B of the binding theory) in terms of an approach to grammar-internal ...
Clearly, in order to reconstruct the principles of binding in terms of Merge choices, some version of a movement theory of binding (MTB) must be assumed (Hornstein 2001; Kayne 2002; Abe 2014) , with anaphors ...
doi:10.5281/zenodo.3972873
fatcat:dlaqiyvijnd5fiudlgacuvrq3u
Software merge: semantics of combining changes to programs
1994
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgement The author would like to thank Mike Mislove for kindly communicating that nondistributivity of the Egli-Milner power domain is part of the folklore of domain theory and to thank the referees ...
for their perceptive comments, which led to substantial improvements to the paper. ...
only by a process of combining changes that operates in an extended syntactic domain: for every programming language we have seen, every program that follows the syntax rules of the programming language ...
doi:10.1145/197320.197403
fatcat:4x25r6lo7jbn3lprxq5qwt73gu
Quality of Merge-Refactorings for Product Lines
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We thus propose to capture the goal using a syntactic quality function and use that function to guide the merge strategy. ...
Depending on the goal of the refactoring, one result can be preferred to another. ...
We thank Andrei Kirshin (IBM Research) for useful discussions and the anonymous reviewers for their insightful comments. ...
doi:10.1007/978-3-642-37057-1_7
fatcat:n7h4dnhxfzhotjvcumyjrvmsxu
« Previous
Showing results 1 — 15 out of 4,504 results