中文
相关论文

相关论文: Predicting Rankings of Software Verification Compe…

200 篇论文

Multi-label classification is an important yet challenging task in natural language processing. It is more complex than single-label classification in that the labels tend to be correlated. Existing methods tend to ignore the correlations…

计算与语言 · 计算机科学 2018-06-18 Pengcheng Yang , Xu Sun , Wei Li , Shuming Ma , Wei Wu , Houfeng Wang

In this paper, we propose a malware categorization method that models malware behavior in terms of instructions using PageRank. PageRank computes ranks of web pages based on structural information and can also compute ranks of instructions…

密码学与安全 · 计算机科学 2016-08-03 BooJoong Kang , Suleiman Y. Yerima , Kieran McLaughlin , Sakir Sezer

In this paper, we study randomized methods for feedback design of uncertain systems. The first contribution is to derive the sample complexity of various constrained control problems. In particular, we show the key role played by the…

系统与控制 · 计算机科学 2014-07-22 T. Alamo , R. Tempo , A. Luque , D. R. Ramirez

Competitive programming remains a very popular activity that combines both software engineering and education. In order to prepare and to practice, contestants use extensive archives of problems from past contents available on various…

软件工程 · 计算机科学 2023-01-12 Artyom Lobanov , Egor Bogomolov , Yaroslav Golubev , Mikhail Mirzayanov , Timofey Bryksin

Search engines are the most important tools for web data acquisition. Web pages are crawled and indexed by search Engines. Users typically locate useful web pages by querying a search engine. One of the challenges in search engines…

信息检索 · 计算机科学 2016-05-11 Seyed Hamid Reza Mohammadi , Mohammad Ali Zare Chahooki

Machine learning algorithms are increasingly being applied in security-related tasks such as spam and malware detection, although their security properties against deliberate attacks have not yet been widely understood. Intelligent and…

机器学习 · 计算机科学 2022-06-02 Huang Xiao , Battista Biggio , Blaine Nelson , Han Xiao , Claudia Eckert , Fabio Roli

Network calibration aims to accurately estimate the level of confidences, which is particularly important for employing deep neural networks in real-world systems. Recent approaches leverage mixup to calibrate the network's predictions…

计算机视觉与模式识别 · 计算机科学 2023-08-24 Jongyoun Noh , Hyekang Park , Junghyup Lee , Bumsub Ham

An ongoing challenge for the requirements engineering of software product lines is to predict whether a new combination of features (units of functionality) will create an unwanted or even hazardous feature interaction. We thus seek to…

软件工程 · 计算机科学 2020-09-17 Seyedehzahra Khoshmanesh , Robyn Lutz

This paper introduces several techniques that improve the scalability of the deductive verification of data-level programs working on arrays and matrices. First of all, we introduce a technique to rewrite expressions with (nested)…

软件工程 · 计算机科学 2026-05-14 Lars B. van den Haak , Anton Wijs , Marieke Huisman

In this paper, we propose a novel semi-supervised feature selection framework by mining correlations among multiple tasks and apply it to different multimedia applications. Instead of independently computing the importance of features for…

机器学习 · 计算机科学 2017-07-11 Xiaojun Chang , Yi Yang

Extreme Multi-label classification (XML) is an important yet challenging machine learning task, that assigns to each instance its most relevant candidate labels from an extremely large label collection, where the numbers of labels, features…

机器学习 · 计算机科学 2019-04-15 Bingyu Wang , Li Chen , Wei Sun , Kechen Qin , Kefeng Li , Hui Zhou

Large Language Models (LLMs) have been widely adopted in ranking systems such as information retrieval (IR) systems and recommender systems (RSs). To alleviate the latency of auto-regressive decoding, some studies explore the single (first)…

人工智能 · 计算机科学 2025-05-28 Yingpeng Du , Tianjun Wei , Zhu Sun , Jie Zhang

Recently Convolutional Neural Networks (CNNs) models have proven remarkable results for text classification and sentiment analysis. In this paper, we present our approach on the task of classifying business reviews using word embeddings on…

计算与语言 · 计算机科学 2017-10-18 Andreea Salinca

Conformal prediction is a statistical framework that generates prediction sets containing ground-truth labels with a desired coverage guarantee. The predicted probabilities produced by machine learning models are generally miscalibrated,…

机器学习 · 计算机科学 2024-06-07 Jianguo Huang , Huajun Xi , Linjun Zhang , Huaxiu Yao , Yue Qiu , Hongxin Wei

Multilabel image categorization has drawn interest recently because of its numerous computer vision applications. The proposed work introduces a novel method for classifying multilabel images using the COCO-2014 dataset and a modified…

计算机视觉与模式识别 · 计算机科学 2025-11-18 Lokender Singh , Saksham Kumar , Chandan Kumar

The rapid rise of cyber-crime activities and the growing number of devices threatened by them place software security issues in the spotlight. As around 90% of all attacks exploit known types of security issues, finding vulnerable…

密码学与安全 · 计算机科学 2024-05-14 Rudolf Ferenc , Péter Hegedűs , Péter Gyimesi , Gábor Antal , Dénes Bán , Tibor Gyimóthy

Machine learning methods may have the potential to significantly accelerate drug discovery. However, the increasing rate of new methodological approaches being published in the literature raises the fundamental question of how models should…

机器学习 · 计算机科学 2020-02-19 Matthew C. Robinson , Robert C. Glen , Alpha A. Lee

Malware classification is a difficult problem, to which machine learning methods have been applied for decades. Yet progress has often been slow, in part due to a number of unique difficulties with the task that occur through all stages of…

密码学与安全 · 计算机科学 2020-11-17 Edward Raff , Charles Nicholas

Predictive benchmarking, the evaluation of machine learning models based on predictive performance and competitive ranking, is a central epistemic practice in machine learning research and an increasingly prominent method for scientific…

机器学习 · 计算机科学 2025-10-28 Timo Freiesleben , Sebastian Zezulka

Studying competition and market structure at the product level instead of brand level can provide firms with insights on cannibalization and product line optimization. However, it is computationally challenging to analyze product-level…

机器学习 · 计算机科学 2020-05-22 Fanglin Chen , Xiao Liu , Davide Proserpio , Isamar Troncoso , Feiyu Xiong
‹ 上一页 1 8 9 10 下一页 ›