Results 141 to 150 of about 3,019,309 (154)

A Review on Fact Extraction and Verification

ACM Computing Surveys, 2023
exaly  

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Martin Leucker, Andreas Bauer, Christian Schallhart   +2 more
exaly  

Forecast Verification: Current Status and Future Directions

Meteorological Applications, 2008
D B Stephenson
exaly  

Formal Verification of Timed Systems: A Survey and Perspective

Proceedings of the IEEE, 2004
Farn Wang
exaly  

Continuous Verification Using Multimodal Biometrics

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2007
Terence Sim, Rajkumar Janakiraman
exaly  

Ensemble Similarity Learning for Kinship Verification From Facial Images in the Wild

Information Fusion, 2016
Guodong Guo, Xiuzhuang Zhou, Yuanyuan Shang   +2 more
exaly  

Video-Based Kinship Verification Using Distance Metric Learning

Pattern Recognition, 2018
Junlin Hu, Haibin Yan
exaly  

Confidence Measures for Multimodal Identity Verification

Information Fusion, 2002
Sébastien Marcel, Samy Bengio
exaly  

PVS: A Prototype Verification System

Lecture Notes in Computer Science, 1992
N Shankar
exaly  

Effective Typestate Verification in the Presence of Aliasing

ACM Transactions on Software Engineering and Methodology, 2008
Eran Yahav, G Ramalingam, Stephen J Fink
exaly