Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Classification and Prediction of Lung Cancer with Histopathological Images Using VGG-19 Architecture

N. Saranya , N. Kanthimathi , S. Boomika , S. Bavatharani , R. Karthick Raja
5th International Conference on Computational Intelligence in Data Science (ICCIDS), Mar 2022, Virtual, India. pp.152-161, ⟨10.1007/978-3-031-16364-7_12⟩
Conference papers hal-04381304v1
Image document

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

Rajeev Alur , Jay Thakkar , Aditya Kanade
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.209-224, ⟨10.1007/978-3-642-38592-6_15⟩
Conference papers hal-01515246v1