Results 31 to 40 of about 311,790 (314)
Modeling with the semantic Web in the geosciences [PDF]
IEEE Intelligent Systems, 2005 Earth system science deals with complex systems that pose many significant representation challenges. Ontologies as knowledge repositories have been developed to support the primary goal of sharing knowledge in a manner that aids understanding. DARPA is currently developing an extension to OWL called SWRL (semantic Web rule language), which lets to ...
Reitsma, Femke, Albrecht, Jochen
openaire +2 more sources
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework [PDF]
, 1997 This paper discusses an example of the application of a high-level modelling framework which enables both the specification and implementation of a system's conceptual design.
Jennings, N. R. +11 more
core +1 more source
Operational semantics for signal handling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run.
Maxim Strygin, Hayo Thielecke
doaj +1 more source
Enterprise semantic modelling for interoperability [PDF]
2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), 2007 The purpose of annotations is to describe the content of “something” and they may be considered as meta-data. They are used for a while for text books, articles, hypertext documents and so on. We explore their usage in semantic-based and model-based interoperability, with the aim to make explicit the meaning and the structure of given models (artefacts)
Boudjlida, Nacer, Panetto, Hervé
openaire +2 more sources
Archeomatica, 2016 The Shape and Semantics Modelling Group of CNR-IMATI (an Institute of the Italian National Research Council) is active on several research topics related to shape modelling and retrieval.
Bianca Falcidieno
doaj +2 more sources
Bridging Heritage Knowledge and Digital Models: An HBIM Integration Framework [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information SciencesArchitectural heritage conservation demands the integration of precise physical documentation and interpretative design knowledge, yet current HBIM approaches remain fragmented: ‘scan-to-BIM’ prioritizes geometric accuracy at the expense of ...
X. Wang, C. Wu, X. Zhang, R. Pan
doaj +1 more source
Energies, 2022 The interaction between global horizontal irradiance (GHI) and temperature helps determine the maximum amount of solar power generated. As temperature increases, GHI increases up to the point that it increases at a decreasing rate and then decreases ...
Caston Sigauke +2 more
doaj +1 more source
An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions
, 2004 This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of the language is its support for compensation.
Ferreira, Carla +3 more
core +1 more source
Process algebra modelling styles for biomolecular processes [PDF]
, 2009 We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
Calder, M. +3 more
core +1 more source
Feature Engineering for ICU Mortality Prediction Based on Hourly to Bi-Hourly Measurements
Applied Sciences, 2019 Mortality prediction for intensive care unit (ICU) patients is a challenging problem that requires extracting discriminative and informative features.
Ahmed Y. A. Amer +8 more
doaj +1 more source