中文
相关论文

相关论文: Second International Nurse Rostering Competition (…

200 篇论文

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

This paper presents a framework for the implementation of online programming competitions, including a set of principles for the design of the multiplayer game and a practical framework for the construction of the competition environment.…

计算机与社会 · 计算机科学 2017-10-24 Benjamin Spector , Michael Truell

This paper provides a review of the NTIRE 2026 challenge on real-world face restoration, highlighting the proposed solutions and the resulting outcomes. The challenge focuses on generating natural and realistic outputs while maintaining…

The aim of this research is twofold: Firstly, to model and solve a complex nurse scheduling problem with an integer programming formulation and evolutionary algorithms. Secondly, to detail a novel statistical method of comparing and hence…

神经与进化计算 · 计算机科学 2010-07-05 Uwe Aickelin , Paul White

Shared benchmark problems have historically been a fundamental driver of progress for scientific communities. In the context of academic conferences, competitions offer the opportunity to researchers with different origins, backgrounds, and…

The ICDAR Robust Reading Competition (RRC), initiated in 2003 and re-established in 2011, has become a de-facto evaluation standard for robust reading systems and algorithms. Concurrent with its second incarnation in 2011, a continuous…

计算机视觉与模式识别 · 计算机科学 2018-05-22 Dimosthenis Karatzas , Lluis Gómez , Anguelos Nicolaou , Marçal Rusiñol

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

编程语言 · 计算机科学 2010-02-09 Alastair R. Beresford , Simon Gay

Two-stage superposition choice procedures, which sequentially apply two choice procedures so that the result of the first choice procedure is the input for the second choice procedure, are studied. We define which of them satisfy given…

最优化与控制 · 数学 2016-11-03 Sergey Shvydun

Collaborative competitions have gained popularity in the scientific and technological fields. These competitions involve defining tasks, selecting evaluation scores, and devising result verification methods. In the standard scenario,…

机器学习 · 计算机科学 2024-08-22 Sergio Nava-Muñoz , Mario Graff , Hugo Jair Escalante

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a satellite workshop of CONCUR'09. The previous edition of ICE…

计算机科学中的逻辑 · 计算机科学 2009-12-07 Filippo Bonchi , Davide Grohmann , Paola Spoletini , Emilio Tuosto

In this paper, we briefly summarize the first competition on resource-limited infrared small target detection (namely, LimitIRSTD). This competition has two tracks, including weakly-supervised infrared small target detection (Track 1) and…

计算机视觉与模式识别 · 计算机科学 2024-08-20 Boyang Li , Xinyi Ying , Ruojing Li , Yongxian Liu , Yangsi Shi , Miao Li

The creation of nurses' schedules is a critical task that directly impacts the quality and safety of patient care as well as the quality of life for nurses. In most hospitals in Japan, this responsibility falls to the head nurse of each…

最优化与控制 · 数学 2025-07-08 Keisuke Nakashima , Kohei Furuike , Yoshiaki Inoue

Nurse rostering is a complex scheduling problem that affects hospital personnel on a daily basis all over the world. This paper presents a new component-based approach with adaptive perturbations, for a nurse scheduling problem arising at a…

神经与进化计算 · 计算机科学 2010-07-05 Jingpeng Li , Uwe Aickelin , Edmund Burke

Illumination estimation is the essential step of computational color constancy, one of the core parts of various image processing pipelines of modern digital cameras. Having an accurate and reliable illumination estimation is important for…

Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in competition events, similar to other closely related…

人工智能 · 计算机科学 2019-09-04 Sarah A. Gaggl , Thomas Linsbichler , Marco Maratea , Stefan Woltran

We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more…

人工智能 · 计算机科学 2011-09-27 S. Edelkamp , J. Hoffmann

This is the first edition of the tool competition on testing self-driving cars (SDCs) at the International Conference on Software Testing, Verification and Validation (ICST). The aim is to provide a platform for software testers to submit…

软件工程 · 计算机科学 2025-02-21 Christian Birchler , Stefan Klikovits , Mattia Fazzini , Sebastiano Panichella

Team Mountaineers launched efforts on the NASA Space Robotics Challenge Phase-2 (SRC2). The challenge will be held on the lunar terrain with virtual robotic platforms to establish an in-situ resource utilization process. In this report, we…

This paper presents an overview of the NTIRE 2026 Second Challenge on Day and Night Raindrop Removal for Dual-Focused Images. Building upon the success of the first edition, this challenge attracted a wide range of impressive solutions, all…

‹ 上一页 1 2 3 10 下一页 ›