Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Abstract not provided.
Morris, Karla Vanessa↗
SEARCH · Engineering Papers
Results for “semantic”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Semantic Graphs for Pattern Detection in Sensor Data from Monitoring Regimes.
Abstract not provided.
Gastelum, Zoe Nellie↗
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
Abstract not provided.
Choe, Yung Ryn↗
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
Abstract not provided.
Choe, Yung Ryn↗
Geospatial-temporal semantic graphs for remote sensing data analysis.
Abstract not provided.
Brost, Randolph C.↗
Protecting Sensitive Textual Information Using Information Extraction and Semantic Technologies.
Abstract not provided.
Garcia, Antonio Xavier↗
Protecting Sensitive Textual Information Using Information Extraction and Semantic Technologies.
Abstract not provided.
Garcia, Antonio Xavier↗
Method and system for semantic metadata compression in a two-tier storage system using copy-on-write
Example embodiments of the present invention relate to a method, a system, and a computer program product for managing metadata. The method includes determining a common characteristic of metadata entries for a plurality of files in a directory of a file system and computing a representative metadata entry for the plurality of metadata entries according to the common characteristic of the metadata entries. The plurality of metadata entries in the file system then may be represented according to the computed representative metadata entry.
97 MATHEMATICS AND COMPUTING↗
Semantic Segmentation of Clouds in Satellite Imagery Using Deep Pre-trained U-Nets
Explore the source record for details and available documents.
Computer science↗
Semantic Graphis for Safeguards Data Integration Pattern Matching and Event Classification.
Abstract not provided.
Thomas, Maikael A.↗
The programming and performance challenges of memory-semantic interconnects for scientific computing.
Abstract not provided.
Wilke, Jeremiah J↗
Topos Semantics for a Higher-order Temporal Logic of Actions.
Abstract not provided.
Johnson-Freyd, Philip↗
Geospatial-Temporal Semantic Graphsfor Remote Sensing Data Analysis.
Abstract not provided.
Rintoul, Mark Daniel↗
Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Information Security.
Abstract not provided.
Smith, Michael Reed↗