23,070 Hits in 4.5 sec

On the Unification of Process Semantics: Observational Semantics [chapter]

David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino
2009 Lecture Notes in Computer Science  
The complexity of parallel systems has produced a large collection of semantics for processes.  ...  In this first part of our study we present the observational semantics, that stresses the differences between the simulation (branching) semantics and the extentional (linear) semantics.  ...  part of our unification work on the semantics for concurrency.  ... 
doi:10.1007/978-3-540-95891-8_27 fatcat:vviuy46pojbphjynusk6pj7ljq

On the Unification of Process Semantics: Logical Semantics

David Romero-Hernández, David de Frutos-Escrig
2011 Electronic Proceedings in Theoretical Computer Science  
We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics.  ...  to develop generic proofs of some general properties of the semantics.  ...  Conclusions and future work We have concluded in this paper the work on unification of all the strong process semantics by considering here the logic approach, while [2, 3] considered the observational  ... 
doi:10.4204/eptcs.62.4 fatcat:f5f4rgmxjfarbmws5dmxlitpye

On the Unification of Process Semantics: Equational Semantics

David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino
2009 Electronical Notes in Theoretical Computer Science  
a generic axiom (ND) for reducing the non-determinism of processes, by means of which we introduce the additional identifications induced by each of the linear time semantics.  ...  The complexity of parallel systems has produced a large collection of semantics for processes, a classification of which is provided by Van Glabbeek's linear time-branching time spectrum; however, no suitable  ...  By means of our unification we expect to cover the following three main goals: • a new presentation of the spectrum of the process semantics justifying the special interest of some of these semantics and  ... 
doi:10.1016/j.entcs.2009.07.093 fatcat:ouod5xhgdnhoxdjsqjim4riexq

Quantales, observational logic and process semantics

Samson Abramsky, Steven Vickers
1993 Mathematical Structures in Computer Science  
Various notions of observing and testing processes are placed in a uniform algebraic framework in which observations are taken as constituting a quantale.  ...  Considering Cl({[ [p] ]}) as an element of (!D RS )^ $ Q hf , and writing t as in 6.2.2 (ii), we have Cl({[ [p] ]})(a) = 0 5 t(a) ( Cl({[ [p] ]}) c = {=#!  ...  The first author also thanks the Nuffield Foundation for their support in the form of a Science Research Fellowship for 1988-9. Bibliography  ... 
doi:10.1017/s0960129500000189 fatcat:dlph6tsr6zashd76dltellihku

Observational semantics of the Prolog Resolution Box Model [article]

Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2007 arXiv   pre-print
It is a form of declarative specification for the tracers. The trace model introduced here is only one example to illustrate general problems relating to tracers and observing processes.  ...  This paper specifies an observational semantics and gives an original presentation of the Byrd box model.  ...  occur in the observed process.  ... 
arXiv:0711.4071v1 fatcat:emmvvibrozcppibvca7m6qyguu

Knowledge Base Unification via Sense Embeddings and Disambiguation

Claudio Delli Bovi, Luis Espinosa Anke, Roberto Navigli
2015 Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing  
to their degree of specificity; (3) cross-resource relation alignment and merging based on the semantic similarity of domains and ranges.  ...  We tested KB-UNIFY on a set of four heterogeneous knowledge bases, obtaining high-quality results.  ...  Acknowledgments The authors gratefully acknowledge the support of the ERC Starting Grant MultiJEDI No. 259234.  ... 
doi:10.18653/v1/d15-1084 dblp:conf/emnlp/BoviAN15 fatcat:algllldpjfcvllbkgjhypz3kvi

Observer Bias: An Interaction of Temperament Traits with Biases in the Semantic Perception of Lexical Material

Ira Trofimova, Philip Allen
2014 PLoS ONE  
This article reports on two studies investigating differences between groups contrasted by 12 temperament traits (i.e. by energetic and other capacities, as well as emotionality) in the semantic perception  ...  For the lexical approach to be valid as a method of scientific investigations, such biases should not exist in semantic perception of the verbal material that is used by this approach.  ...  Acknowledgments The author would like to thank the members of the Department of Psychology, McMaster University: Ms.  ... 
doi:10.1371/journal.pone.0085677 pmid:24475048 pmcid:PMC3903487 fatcat:2j5belnrjbhqfb2cwjk6otjcmi

Evaluation of LOINC semantic coverage for coding clinical observations related to environmental influenced diseases [chapter]

Maria Teresa Chiaravalloti
2022 Knowledge Organization and Management in the Domain of Environment and Earth Observation (KOMEEO)  
The architecture combines the higher-level cognition of humans and their powers of language, abstraction, of inference and analogy, with the storage and processing power of computers.  ...  The engine has been designed to capture the knowledge of experts from different areas of expertise via the classification of the literature.  ...  The FITS file format for the long-term preservation of digital objects ...e Wells, Donald C., and Eric W. Greisen. 1979  ... 
doi:10.5771/9783956508752-67 fatcat:blbxnehbejedhae4v3vji2gq6e

Remote Sensing Image Interpretation With Semantic Graph-Based Methods: A Survey

Shengtao Sun, Schahram Dustdar, Rajiv Ranjan, Graham Morgan, Yusen Dong, Lizhe Wang
2022 IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing  
In addition, a case study of RS geological interpretation based on the semantic knowledge graph is demonstrated to show the promising capability of intelligent RS image interpretation.  ...  With the significant improvements in Earth observation (EO) technologies, remote sensing (RS) data exhibit the typical characteristics of Big Data.  ...  Semantic Graph-Based RS Image Interpretation Semantic image interpretation can be defined as the semantic extraction and inference process for deriving high-level knowledge from an observed image [82]  ... 
doi:10.1109/jstars.2022.3176612 fatcat:lbbw4gg54jhizcbzgriccmihwq

Language Semantics [chapter]

Ioannis L. Kotsiopoulos
2003 IFIP Advances in Information and Communication Technology  
The paper is a response to the call for a common underlying domain theory to address the mismatch between syntax and semantics of enterprise modelling languages.  ...  Semantics of particular modelling languages and architectures can be obtained as specialisations of the general theory. Basic features of CIMOSA are derived as an example.  ...  Both A and n are snapshots on the time axis, where A is termed process part and n observation part. Remark.  ... 
doi:10.1007/978-0-387-35621-1_39 fatcat:gtzahsbju5gb5mu3pkrr4xrpjy

Compositional Semantics in Verbmobil [article]

Johan Bos, Björn Gambäck, Christian Lieske, Yoshiki Mori, Manfred Pinkal, Karsten Worm
1996 arXiv   pre-print
The description language and its formal interpretation in DRT are described as well as its implementation together with the architecture of the system's entire syntactic-semantic processing module.  ...  The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse representation structures  ...  in the processing chain.  ... 
arXiv:cmp-lg/9607031v1 fatcat:7jjmkso6qfcuzmv4okntvdu3va

Compositional semantics for linguistic formalisms

Shuly Wintner
1999 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics -  
We study alternative definitions for the semantics of such formalisms, suggesting a denotational semantics that we show to be compositional and fully-abstract.  ...  In what sense is a grammar the union of its rules? This paper adapts the notion of composition, well developed in the context of programming languages, to the domain of linguistic formalisms.  ...  semantics to the set InitG. [] The choice of 'Hfl~' as the semantics calls for a different notion of' observables.  ... 
doi:10.3115/1034678.1034702 dblp:conf/acl/Wintner99 fatcat:xwtr2y3trzgadbkne526afz2ry

Monotonic semantic interpretation

Hiyan Alshawi, Richard Crouch
1992 Proceedings of the 30th annual meeting on Association for Computational Linguistics -  
Semantics for QLF are presented in which the denotations of formulas are extended monotonically as QLF expressions are resolved.  ...  of semantic representations.  ...  As before, underspecified QLFs are produced on the basis of a unification grammar.  ... 
doi:10.3115/981967.981972 dblp:conf/acl/AlshawiC92 fatcat:m4c23yss75gh7gwmpdf2pwzft4

Semantic tableaux with equality

B Beckert
1997 Journal of Logic and Computation  
This paper tries to identify the basic problems encountered in handling equality in the semantic tableau framework, and to describe the state of the art in solving these problems.  ...  The two main paradigms for handling equality are compared: adding new tableau expansion rules and using E-unification algorithms.  ...  Acknowledgements I would like to thank Marcello D'Agostino and three anonymous referees for their constructive criticism and useful comments on earlier versions of this paper.  ... 
doi:10.1093/logcom/7.1.39 fatcat:g2t67oleo5andfrrojhqrmripe

Unification-based semantic interpretation

Robert C. Moore
1989 Proceedings of the 27th annual meeting on Association for Computational Linguistics -  
We also sketch a theoretical foundation for unificationbased semantic interpretation, and compare the unification-based approach with more conventional techniques based on the lambda calculus.  ...  We show how unification can be used to specify the semantic interpretation of natural-language expressions, including problematical constructions involving long-distance dependencies.  ...  The work was continued at the SRI Artificial Intelligence Center and the Center for the Study of Language and Information, supported  ... 
doi:10.3115/981623.981628 dblp:conf/acl/Moore89 fatcat:meb3ehyj4bc53j4wydxdulfgci
« Previous Showing results 1 — 15 out of 23,070 results