4,504 Hits in 6.3 sec

Exploring the rationality of some syntactic merging operators (extended version) [article]

José Luis Chacón, Ramón Pino Pérez
2012 arXiv   pre-print
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]

Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür Özcep, Christoforos Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis Ioannidis, Steffen Lamparter, Ralf Möller
2016 arXiv   pre-print
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]

Davide Ancona and Angelo Ferrando and Viviana Mascardi
2020 arXiv   pre-print
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]

Seokki Lee, Bertram Ludaescher, Boris Glavic
2018 arXiv   pre-print
, 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)

Amilcar Mata Diaz, Ramon Pino Perez
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
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

T. Mens
2002 IEEE Transactions on Software Engineering  
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

Hoa Khanh Dam, Alexander Reder, Alexander Egyed
2014 2014 IEEE/IFIP Conference on Software Architecture  
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]

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
2019 arXiv   pre-print
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]

Alan Mycroft, Dominic Orchard, Tomas Petricek
2015 Lecture Notes in Computer Science  
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

Noam Chomsky
2005 Linguistic Inquiry  
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

Elliot Murphy
2015 Frontiers in Psychology  
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

Noam Chomsky, Ángel J. Gallego, Dennis Ott
2019 Catalan Journal of Linguistics  
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]

Marc Richards
2020 Zenodo  
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

Valdis Berzins
1994 ACM Transactions on Programming Languages and Systems  
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]

Julia Rubin, Marsha Chechik
2013 Lecture Notes in Computer Science  
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