中文
相关论文

相关论文: Results of the 2024 Video Browser Showdown

200 篇论文

This report presents the results of the 14th Video Browser Showdown, held at the 2025 International Conference on Multimedia Modeling on the 8th of January 2025 in Nara, Japan.

多媒体 · 计算机科学 2025-09-16 Luca Rossetto , Klaus Schoeffmann , Cathal Gurrin , Jakub Lokoč , Werner Bailer

This paper presents an after-the-fact summary of the participation of the vitrivr system to the 2018 Video Browser Showdown. A particular focus is on additions made since the original publication and the systems performance during the…

多媒体 · 计算机科学 2018-05-08 Luca Rossetto , Ivan Giangreco , Ralph Gasser , Heiko Schuldt

This document represents the proceedings of the 2024 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'24 (30th International Conference on Principles and Practice of Constraint Programming).

人工智能 · 计算机科学 2024-12-03 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

This paper presents an after-the-fact summary of the participation of the vitrivr system to the 2019 Video Browser Showdown. Analogously to last year's report, the focus of this paper lies on additions made since the original publication…

多媒体 · 计算机科学 2019-02-28 Luca Rossetto , Mahnaz Amiri Parian , Ralph Gasser , Ivan Giangreco , Silvan Heller , Heiko Schuldt

Proceedings of 16th International Conference on Mathematical and Numerical Aspects of Wave Propagation held at the Harnack House, Berlin, Germany, 30 June - 5 July, 2024.

数值分析 · 数学 2025-03-14 Laurent Gizon

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

编程语言 · 计算机科学 2024-04-08 Diana Costa , Raymond Hu

This report summarizes the 5th International Verification of Neural Networks Competition (VNN-COMP 2024), held as a part of the 7th International Symposium on AI Verification (SAIV), that was collocated with the 36th International…

机器学习 · 计算机科学 2024-12-31 Christopher Brix , Stanley Bak , Taylor T. Johnson , Haoze Wu

Contributions of the participants of the 24th International Workshop "What Comes Beyond the Standard Models", July 5 to July 11, 2021, Bled, Slovenia, presented either with the arxiv number of each contribution or with the webside of the…

综合物理 · 物理学 2022-03-09 Norma Susana Mankoc Borstnik , Holger Bech Nielsen , Dragan Lukman , Astri Kleppe

According to our experience from VBS2023 and the feedback from the IVR4B special session at CBMI2023, we have largely revised the diveXplore system for VBS2024. It now integrates OpenCLIP trained on the LAION-2B dataset for image/text…

多媒体 · 计算机科学 2025-08-29 Klaus Schoeffmann , Sahar Nasirihaghighi

This volume contains the proceedings of PLACES 2023, the 14th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

编程语言 · 计算机科学 2023-04-13 Ilaria Castellani , Alceste Scalas

This report summarizes the 4th International Verification of Neural Networks Competition (VNN-COMP 2023), held as a part of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), that was collocated with the 35th…

机器学习 · 计算机科学 2023-12-29 Christopher Brix , Stanley Bak , Changliu Liu , Taylor T. Johnson

This is the proceedings of the Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) which was held at Bern, Switzerland, February 06th 2024.

编程语言 · 计算机科学 2024-02-27 Jessie Galasso-Carbonnel , Chico Sundermann

This volume contains the proceedings of ICE'24, the 17th Interaction and Concurrency Experience, which was held on Friday 21th June 2024 at the University of Groningen in Groningen, The Netherlands, as a satellite workshop of DisCoTec 2024.…

分布式、并行与集群计算 · 计算机科学 2024-12-11 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Violet Ka I Pun

This document represents the proceedings of the 2023 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'23 (the 29th International Conference on Principles and Practice of Constraint Programming,…

人工智能 · 计算机科学 2023-12-12 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

Following the successful 2023 edition, we organised the Second Perception Test challenge as a half-day workshop alongside the IEEE/CVF European Conference on Computer Vision (ECCV) 2024, with the goal of benchmarking state-of-the-art video…

计算机视觉与模式识别 · 计算机科学 2024-12-02 Joseph Heyward , João Carreira , Dima Damen , Andrew Zisserman , Viorica Pătrăucean

This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is…

形式语言与自动机理论 · 计算机科学 2024-10-30 Antonis Achilleos , Adrian Francalanza

This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), which was collocated with the 34th…

机器学习 · 计算机科学 2023-02-17 Mark Niklas Müller , Christopher Brix , Stanley Bak , Changliu Liu , Taylor T. Johnson

This short paper presents the video browsing tool of VIREO team which has been used in the Video Browser Showdown 2018. All added functions in the final version are introduced and experiences gained from the benchmark are also shared.

信息检索 · 计算机科学 2018-05-31 Phuong Anh Nguyen , Yi-Jie Lu , Hao Zhang , Chong-Wah Ngo

The First Perception Test challenge was held as a half-day workshop alongside the IEEE/CVF International Conference on Computer Vision (ICCV) 2023, with the goal of benchmarking state-of-the-art video models on the recently proposed…

计算机视觉与模式识别 · 计算机科学 2023-12-21 Joseph Heyward , João Carreira , Dima Damen , Andrew Zisserman , Viorica Pătrăucean

This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd…

计算机科学中的逻辑 · 计算机科学 2021-09-08 Stanley Bak , Changliu Liu , Taylor Johnson
‹ 上一页 1 2 3 10 下一页 ›