From post

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

, , , , , , , , , , , и . Haifa Verification Conference, том 9434 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A Robust Server-Effort Policy for Fluid Processing Networks., , , и . CDC, стр. 5902-5909. IEEE, (2022)The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process., , , , , , , , , и 2 other автор(ы). Haifa Verification Conference, том 9434 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2015)A Study of Human Summaries of Scientific Articles., , , , и . CoRR, (2020)SummIt: A Tool for Extractive Summarization, Discovery and Analysis., , , и . CIKM, стр. 2459-2462. ACM, (2017)Unsupervised Dual-Cascade Learning with Pseudo-Feedback Distillation for Query-based Extractive Summarization., , , , и . CoRR, (2018)A Summarization System for Scientific Documents., , , , , , , , , и 8 other автор(ы). EMNLP/IJCNLP (3), стр. 211-216. Association for Computational Linguistics, (2019)Robust Optimization of System Design., , и . CSER, том 28 из Procedia Computer Science, стр. 489-496. Elsevier, (2014)InspectorRAGet: An Introspection Platform for RAG Evaluation., , , , , , и . CoRR, (2024)Unsupervised Query-Focused Multi-Document Summarization using the Cross Entropy Method., , , и . SIGIR, стр. 961-964. ACM, (2017)Tell Me More? Can AI Enhance User Experience for List Answers?, , , и . IUI Companion, стр. 134-137. ACM, (2023)