Results 271 to 280 of about 2,058,291 (283)
Some of the next articles are maybe not open access.

Adaptive local thresholding by verification-based multithreshold probing with application to vessel detection in retinal images

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2003
Xiaoyi Jiang, Xiangqian Jiang
exaly  

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Reliability Engineering and System Safety, 2018
Børge Rokseth, Ingrid Bouwer Utne
exaly  

Runtime Verification for LTL and TLTL

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

Home - About - Disclaimer - Privacy