Results 191 to 200 of about 2,368 (218)

Experiments with speaker verification over the telephone

4th European Conference on Speech Communication and Technology (Eurospeech 1995), 1995
Jean-Luc Gauvain, Lori Lamel, B. Prouts
openaire   +1 more source

A Review on Fact Extraction and Verification

ACM Computing Surveys, 2023
Giannis Bekoulis, Nikos Deligiannis
exaly  

Verification – The Experience of the 1970s

2021
openaire   +1 more source

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, , Louise A Dennis
exaly  

Verification of deterministic solar forecasts

Solar Energy, 2020
Dazhi Yang, Stefano Alessandrini, Javier Antoñanzas   +2 more
exaly  

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Xia Yin, Zhiliang Wang
exaly  

Forecast verification: current status and future directions

Meteorological Applications, 2008
D B Stephenson
exaly  

A brief account of runtime verification

The Journal of Logic and Algebraic Programming, 2009
Martin Leucker, Christian Schallhart
exaly  

IX.—Verification and Experience

Proceedings of the Aristotelian Society, 1937
openaire   +1 more source

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Andreas Bauer, Martin Leucker
exaly