432 Hits in 6.0 sec

Triple Graph Grammars in the Large for Translating Satellite Procedures [chapter]

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2014 Lecture Notes in Computer Science  
Triple graph grammars (TGGs) have shown to be an intuitive, welldefined technique for model translation. In this paper, we leverage TGGs for industry scale software translations.  ...  The approach is implemented using the Eclipse-based graph transformation tool Henshin and has been successfully applied in a large industrial project with the satellite operator SES on the translation  ...  This project is part of the Efficient Automation of Satellite Operations (EASO) project supported by the European Space Agency (ESA) 8 .  ... 
doi:10.1007/978-3-319-08789-4_9 fatcat:lygocqupfbge3jfwscxadu4nwm

Semantics-Driven Remote Sensing Scene Understanding Framework for Grounded Spatio-Contextual Scene Descriptions

Abhishek V. Potnis, Surya S. Durbha, Rajat C. Shinde
2021 ISPRS International Journal of Geo-Information  
To minimize the semantic gap for remote-sensing-scene understanding, the framework puts forward the transformation of scenes by using semantic-web technologies to Remote Sensing Scene Knowledge Graphs  ...  The knowledge-graph representation of scenes has been formalized through the development of a Remote Sensing Scene Ontology(RSSO)—a core ontology for an inclusive remote-sensing-scene data product.  ...  Acknowledgments: The authors are grateful to the Google Cloud Research Credits Program for providing the credits that enabled the use of GCP for training and validating the deep-learning models.  ... 
doi:10.3390/ijgi10010032 fatcat:warifoopejaqfglljmkbatjrke

Knowledge-guided Unsupervised Rhetorical Parsing for Text Summarization [article]

Shengluan Hou, Ruqian Lu
2019 arXiv   pre-print
In the unsupervised rhetorical parsing module, the idea of translation was adopted to alleviate the problem of data scarcity.  ...  Automatic text summarization (ATS) has recently achieved impressive performance thanks to recent advances in deep learning and the availability of large-scale corpora.  ...  Acknowledgments The authors would like to thank the developers of Pytorch [47] .  ... 
arXiv:1910.05915v1 fatcat:fbylzfirhzdvjosixhcxpmvoyq

Process Grammar [chapter]

Michael Leyton
2011 Process Grammar: The Basis of Morphology  
This report gives an exposition of the Process-Grammar, published originally in the journal Artificial Intelligence in 1988, together with a description of some of the subsequent applications of the grammar  ...  The Process-Grammar expresses the relationship between any two stages in the shape's history as an extrapolation of the processes inferred by the theorem.  ...  In meteorology, Evangelos Milios [12] used the Process-Grammar to analyze and monitor high-altitude satellite imagery in order to detect weather patterns.  ... 
doi:10.1007/978-1-4614-1815-3_3 fatcat:rel3d3cnpzacrkcklzkfsht7xq

Formalizing the transition from requirements' change to design change using an evolutionary traceability model

Lian Wen, David Tuffley, R. Geoff. Dromey
2014 Innovations in Systems and Software Engineering  
An important advantage of this model is that the major part of the procedure to generate these evolutionary design documents can be supported by automated tools making the method accessible for use in  ...  large-scale software and systems development projects.  ...  Acknowledgment The authors would like to acknowledge the Australian Research Council (ARC) Centre for Complex Systems for its support of this work.  ... 
doi:10.1007/s11334-014-0230-6 fatcat:6jip7o5zobdkdd6abpduhpmky4

Book reports

1993 Computers and Mathematics with Applications  
TINA: A 3D vision system for pick and place. 30. Double and triple ambiguities in the interpretation of two views of ,~ scene. I. Design and plmming. 1.  ...  Grammars and parsing. 1. Defining constralnt-based form~llsms. 2. Grammar interpretation. 3. The abstract parsing algorithm. 4. Auxiliary notions for item ~m~ntics. 5.  ... 
doi:10.1016/0898-1221(93)90315-m fatcat:tnmkz3axfnekvgr4srsgsivuvy

Automating Model Transformations for Railway Systems Engineering

Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels
2021 Journal of Object Technology  
With Triple Graph Grammars (TGGs) as a rule-based bx language, we establish a tool chain connecting the modelling tools used at DB Netz AG for SysML and Event-B.  ...  In the currently applied completely manual development process, engineers (i) create models using SysML, (ii) translate relevant parts of these models to Event-B for verification, (iii) possibly improve  ...  We would also like to thank our anonymous reviewers for their helpful comments and suggestions.  ... 
doi:10.5381/jot.2021.20.3.a10 fatcat:4r3niallsbcyjlsdk2fcrz3o5y

Polysemy in Controlled Natural Language Texts [chapter]

Normunds Gruzitis, Guntis Barzdins
2010 Lecture Notes in Computer Science  
The proposed approach is demonstrated by extending the Attempto Controlled English (ACE) with polysemous and procedural constructs resulting in a more natural CNL named PAO covering narrative multi-domain  ...  We show that micro-ontologies and multi-word units allow integration of the rich and polysemous multi-domain background knowledge into CNL thus providing interpretation for the content words.  ...  We also thank the reviewers of the CNL 2009 workshop proceedings for their valuable comments.  ... 
doi:10.1007/978-3-642-14418-9_7 fatcat:v27iwgzaavaq7cej6vhk4gopma

A Dependency Perspective on RST Discourse Parsing and Evaluation

Mathieu Morey, Philippe Muller, Nicholas Asher
2018 Computational Linguistics  
The standard evaluation procedure for RST discourse parsers is thus a simplified variant of PARSEVAL, and most RST discourse parsers use techniques that originated in syntactic constituency parsing.  ...  RST Discourse Treebank (RST-DT); as a result, the RST discourse parsing community has largely borrowed from the syntactic constituency parsing community.  ...  Acknowledgments We are grateful to the anonymous reviewers for their useful questions and to Pascal Denis and Tim van de Cruys for comments and suggestions throughout the course of this project.  ... 
doi:10.1162/coli_a_00314 fatcat:wtvkqxaogjhxdkjoi5yfn6dose

The Non-associative Lambek Calculus [chapter]

Richard Moot, Christian Retoré
2012 Lecture Notes in Computer Science  
Indeed, Pentus' translation is exponential on the size of the input Lambek grammar, and this may have serious consequences for the recognition procedure itself.  ...  We can represent the two parses in parallel as a graph.  ...  This question has been previously addressed in [van Benthem, 1991] and [Tiede, 1999] and represents an important issue for proof theoretic grammar.  ... 
doi:10.1007/978-3-642-31555-8_4 fatcat:z6zssyjuprhjxow4rhwwewq6ga

Disaster Prediction Knowledge Graph Based on Multi-Source Spatio-Temporal Information

Xingtong Ge, Yi Yang, Jiahui Chen, Weichao Li, Zhisheng Huang, Wenyue Zhang, Ling Peng
2022 Remote Sensing  
This paper proposes a disaster prediction knowledge graph for disaster prediction by integrating remote sensing information, relevant geographic information, with the expert knowledge in the field of disaster  ...  It is hard to build an analysis model that can integrate the remote sensing and the large-scale relevant information, particularly at the sematic level.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/rs14051214 fatcat:ecjm6q6kujg67enufsmmn7vil4

Specification of invariability in OCL

Piotr Kosiuczenko
2011 Journal of Software and Systems Modeling  
One of the best known languages used for this purpose is OCL. Nevertheless, OCL does not provide primitives for a compact specification of what remains unchanged when a method is executed.  ...  The question of specifying invariability in OCL is studied and a simple but expressive and flexible extension is proposed. It is shown that this extension has a simple OCL based semantics.  ...  We would like to thank the anonymous referees for their helpful comments, which helped us to improve this paper.  ... 
doi:10.1007/s10270-011-0215-y fatcat:ixlbiajtwfarjpwfrjvqtjcmee

Specification of Invariability in OCL [chapter]

Piotr Kosiuczenko
2006 Lecture Notes in Computer Science  
One of the best known languages used for this purpose is OCL. Nevertheless, OCL does not provide primitives for a compact specification of what remains unchanged when a method is executed.  ...  The question of specifying invariability in OCL is studied and a simple but expressive and flexible extension is proposed. It is shown that this extension has a simple OCL based semantics.  ...  We would like to thank the anonymous referees for their helpful comments, which helped us to improve this paper.  ... 
doi:10.1007/11880240_47 fatcat:j5bpthwlzzdsnjaftuct7n3usq

The Architecture of the EXODUS Extensible DBMS [chapter]

Michael J. Carey, David J. DeWitt, Daniel Frank, Goetz Graefe, Joel E. Richardson, Eugene J. Shekita, M. Muralikrlshna
1991 Topics in Information Systems  
, in this case, from the ways of the past.  ...  For example, POSTGRES will be a more "complete" database management system, with a query language (POSTQUEL), a predefined way of supporting complex objects (through the use of POSTQUEL and procedures  ...  The set of fragments constitutes the nodes of an acyclic directed graph; rules generate the arcs of this graph.  ... 
doi:10.1007/978-3-642-84374-7_15 fatcat:sm7nt6gfl5cxbhf7x2mko4jmxm

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program [chapter]

Pieter Van Gorp, Rik Eshuis
2010 Lecture Notes in Computer Science  
In the Graph and Model Transformation communities, special purpose languages and tools (such as GrGen 1 ) are being developed to support the direct execution of such mapping rules.  ...  In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java).  ...  In [19] , we refer to Story Diagrams, Triple Graph Grammars (TGGs) and QVT/Relations as examples of rule based languages that have already overcome these limitations. [ These languages also have more  ... 
doi:10.1007/978-3-642-16129-2_19 fatcat:zkpjjmvrrjgqfh7wdfttb2naoa
« Previous Showing results 1 — 15 out of 432 results