Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Semantics

biblio

Measuring Trust and Automatic Verification in Multi-Agent Systems

Submitted by grigby1 on Fri, 08/12/2022 - 2:25pm

biblio

Gradual Security Types and Gradual Guarantees

Submitted by grigby1 on Fri, 08/12/2022 - 2:09pm

biblio

A Method for Finding Quasi-identifier of Single Structured Relational Data

Submitted by grigby1 on Fri, 07/15/2022 - 12:45pm

biblio

A Staffing Recommender System based on Domain-Specific Knowledge Graph

Submitted by grigby1 on Fri, 07/15/2022 - 12:20pm

biblio

A Cyber Physical System based Stochastic Process Language With NuSMV Model Checker

Submitted by grigby1 on Tue, 07/12/2022 - 3:37pm

biblio

A Network Architecture Containing Both Push and Pull Semantics

Submitted by grigby1 on Fri, 07/01/2022 - 1:18pm

biblio

Scalable Fact-checking with Human-in-the-Loop

Submitted by grigby1 on Fri, 06/10/2022 - 1:48pm

biblio

Noise Reduction Framework for Distantly Supervised Relation Extraction with Human in the Loop

Submitted by grigby1 on Mon, 06/06/2022 - 1:06pm

biblio

Cyberattack Ontology: A Knowledge Representation for Cyber Supply Chain Security

Submitted by grigby1 on Mon, 06/06/2022 - 12:09pm

biblio

Mixed-mode Information Flow Tracking with Compile-time Taint Semantics Extraction and Offline Replay

Submitted by aekwall on Thu, 05/19/2022 - 1:38pm

Terms of Use | ©2023. CPS-VO