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.
Filters
Triple Graph Grammars in the Large for Translating Satellite Procedures
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
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
2021
ISPRS International Journal of Geo-Information
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 2021; you can also visit the original URL.
The file type is application/pdf.
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]
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.
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]
2011
Process Grammar: The Basis of Morphology
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2014
Innovations in Systems and 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
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.
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
2021
Journal of Object Technology
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 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2010
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 2011; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2018
Computational 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 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2022
Remote Sensing
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.
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
2011
Journal of Software and Systems Modeling
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.
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]
2006
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1991
Topics in Information 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.
, 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]
2010
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 2017; you can also visit the original URL.
The file type is application/pdf.
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