Search Results

Sim2Real Transfer for Vision-Based Grasp Verification ...

• Authors : Amargant, Pau; Hönig, Peter; Vincze, Markus

Subjects: Grasp verification; Robot manipulation; Deformable objects

Record details

Social Media Impersonation and Verification Badge

• Authors : Huang, Zihong; Gao, Yi; Liu, De

Subjects: Social Media Influencers and Influencing; consumer surplus; impersonation

Record details

Accelerating Verification and Software Standards Testing (AVASST) with Large Language Models (LLMs)

• Authors : Zhang, Shen; Karl, Ryan; Hindka, Yash

Subjects: Use of LLMs for Program Analysis and Generation; control flow analysis; data flow analysis

Record details

MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification

• Authors : Xiang, Debin; Tan, Siwei

Subjects: quantum computing; quantum program verification

Record details

Credible, Unreliable or Leaked?: Evidence verification for enhanced automated fact-checking

• Authors : Zacharias Chrysidis; Papadopoulos, Stefanos-Iordanis; Papadopoulos, Symeon

Subjects: Misinformation Detection; Fake News; Evidence Verification

• Source: MAD24, 3rd ACM International Workshop on Multimedia AI against Disinformation, ICMR, ACM, Phuket, Thailand, June 10-13, 2024

Record details

MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification

• Authors : Xiang, Debin; Tan, Siwei

Subjects: quantum computing; quantum program verification

Record details

Continuous Formal Verification for Aerospace Applications

• Authors : McColl, Morgan; McColl, Callum; Pereira, Aaron

Subjects: Aerospace engineering; Software testing; verification and validationBig Sky; MT; USA2024-03-02 to 2024-03-09

Record details

Divides in News Verification: Antecedents and Political Outcomes of News Verification by Age

• Authors : Rebecca Ping Yu

Subjects: Genetics; Physiology; Ecology

Record details

Symbolic Parallel Composition for Multi-language Protocol Verification ...

• Authors : Nasrabadi, Faezeh; Künnemann, Robert; Nemati, Hamed

Record details

Symbolic Parallel Composition for Multi-language Protocol Verification ...

• Authors : Nasrabadi, Faezeh; Künnemann, Robert; Nemati, Hamed

Record details