Results 11 to 20 of about 88,794 (289)
Structured Discourse Representation for Factual Consistency Verification
Findings of the Association for Computational Linguistics: ACL 2025Analysing the differences in how events are represented across texts, or verifying whether the language model generations hallucinate, requires the ability to systematically compare their content. To support such a comparison, a structured representation that captures fine-grained information plays a vital role.
Zhang, Kun +2 more
core +6 more sources
THE REVIEW OF SOIL MOISTURE MULTI-SCALE VERIFICATION METHODS [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 Soil moisture is an important physical parameter to investigate water circulation, while it is difficult to be measured with spatiotemporal consistency. During the past several decades, a larger number of soil moisture verification methods were proposed,
Z. Pang +17 more
doaj +1 more source
On the Automatic Verification of Non-Standard Measures of Consistency [PDF]
Electronic Workshops in Computing, 2003 Consistency between a process and its specification expressed in CSP is typically presented as a refinement check. Within the traces model consistency is measured by examining only the traces of the systems, whilst in the finer stable failures model the possibility of subsequently refusing a combination of events is also taken into consideration ...
Bolton, C, Lowe, G
openaire +3 more sources
Viewpoint Consistency in ODP [PDF]
, 2000 Open Distributed Processing (ODP) is a joint ITU/ISO standardisation framework for constructing distributed systems in a multi-vendor environment. Central to the ODP approach is the use of viewpoints for specification and design.
Linington, Peter F. +4 more
core +1 more source
Semantic Consistency Analysis of Business Objective Model and Business Scenario Model [PDF]
Jisuanji gongcheng, 2019 Multi-level and multi-view modeling is commonly used for business modeling in scenarios without specific requirements,but the semantic inconsistency between models of different levels or views can affect the integrity of business models.To address the ...
LI Zonghua, YE Zhengwei
doaj +1 more source
Simulation-Extractable zk-SNARK With a Single Verification
IEEE Access, 2020 Among the zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARK), the simulation-extractable zk-SNARK (SE-SNARK) introduces a security notion of non-malleability.
Jihye Kim, Jiwon Lee, Hyunok Oh
doaj +1 more source
Verification of Implementations of Cryptographic Hash Functions
IEEE Access, 2017 Cryptographic hash functions have become the basis of modern network computing for identity authorization and secure computing; protocol consistency of cryptographic hash functions is one of the most important properties that affect the security and ...
Dexi Wang +5 more
doaj +1 more source
SRv6 Functional Conformance Verification Mechanism Based on the Programmable Data Plane [PDF]
Jisuanji kexueAt present,the SID in SRv6 is designed to provide programmability for traffic engineering,security authentication,and other network functions.The realization of these functions depends on the precise matching and execution of flow tables in the data ...
WANG Pengrui, HU Yuxiang, CUI Pengshuai, DONG Yongji, XIA Jiqiang
doaj +1 more source
Modelling Memory Consistency Models for Formal Verification. [PDF]
, 2019 Most modern multiprocessors offer weak memory behavior to improve their performance in terms of throughput. They allow the order of memory operations to be observed differently by each processor. This is opposite to the concept of sequential consistency (SC) which enforces a unique sequential view on all operations for all processors.
Senftleben, Maximilian
openaire +2 more sources
Software Verification for Weak Memory via Program Transformation [PDF]
, 2012 This version previously deposited at arXiv:1207.7264v1 [cs ...
Nimal, Vincent +11 more
core +1 more source