中文
相关论文

相关论文: Web Test Dependency Detection

200 篇论文

In order to build efficient deep recurrent neural architectures, it is essential to analyze the complexityof long distance dependencies (LDDs) of the dataset being modeled. In this paper, we presentdetailed analysis of the dependency decay…

机器学习 · 计算机科学 2020-12-09 Abhijit Mahalunkar , John D. Kelleher

Identifying dependency between two random variables is a fundamental problem. The clear interpretability and ability of a procedure to provide information on the form of possible dependence is particularly important when exploring…

统计方法学 · 统计学 2026-04-27 Bogdan Ćmiel , Teresa Ledwina

We consider the problem of testing positively dependent multiple hypotheses assuming that a prior information about the dependence structure is available. We propose two-step multiple comparisons procedures that exploit the prior…

Specification-based regression testing of web services is an important activity which verifies the quality of web services. A major problem in web services is that only provider has the source code and both user and broker only have the XML…

软件工程 · 计算机科学 2015-06-04 Tehreem Masood , Aamer Nadeem , Gang-soo Lee

Dynamic graphs with ordered sequences of events between nodes are prevalent in real-world industrial applications such as e-commerce and social platforms. However, representation learning for dynamic graphs has posed great computational…

机器学习 · 计算机科学 2021-12-16 Xinshi Chen , Yan Zhu , Haowen Xu , Mengyang Liu , Liang Xiong , Muhan Zhang , Le Song

Android apps must work correctly even if their execution is interrupted by external events. For instance, an app must work properly even if a phone call is received, or after its layout is redrawn because the smartphone has been rotated.…

软件工程 · 计算机科学 2020-10-13 Oliviero Riganelli , Simone Paolo Mottadelli , Claudio Rota , Daniela Micucci , Leonardo Mariani

Two task-specific dependency-based word embedding methods are proposed for text classification in this work. In contrast with universal word embedding methods that work for generic tasks, we design task-specific word embedding methods to…

计算与语言 · 计算机科学 2021-10-27 Chengwei Wei , Bin Wang , C. -C. Jay Kuo

Modern embedded Linux devices, such as routers, IP cameras, and IoT gateways, rely on complex software stacks where numerous daemons interact to provide services. Testing these devices is crucial from a security perspective since vendors…

密码学与安全 · 计算机科学 2025-09-23 Alessio Izzillo , Riccardo Lazzeretti , Emilio Coppa

Dependency pairs are one of the most powerful techniques to analyze termination of term rewrite systems (TRSs) automatically. We adapt the dependency pair framework to the probabilistic setting in order to prove almost-sure innermost…

计算机科学中的逻辑 · 计算机科学 2023-07-20 Jan-Christoph Kassing , Jürgen Giesl

So far, discontinuous named entity recognition (NER) has received increasing research attention and many related methods have surged such as hypergraph-based methods, span-based methods, and sequence-to-sequence (Seq2Seq) methods, etc.…

计算与语言 · 计算机科学 2022-11-03 Jiang Liu , Donghong Ji , Jingye Li , Dongdong Xie , Chong Teng , Liang Zhao , Fei Li

Missing and incorrect values often cause serious consequences. To deal with these data quality problems, a class of common employed tools are dependency rules, such as Functional Dependencies (FDs), Conditional Functional Dependencies…

数据库 · 计算机科学 2017-10-10 Jizhou Sun , Jianzhong Li , Hong Gao

A network embedding consists of a vector representation for each node in the network. Its usefulness has been shown in many real-world application domains, such as social networks and web networks. Directed networks with text associated…

机器学习 · 计算机科学 2020-11-30 Kexuan Sun , Shudan Zhong , Hong Xu

Software vulnerabilities represent one of the most pressing threats to computing systems. Identifying vulnerabilities in source code is crucial for protecting user privacy and reducing economic losses. Traditional static analysis tools rely…

软件工程 · 计算机科学 2024-10-25 Zhonghao Jiang , Weifeng Sun , Xiaoyan Gu , Jiaxin Wu , Tao Wen , Haibo Hu , Meng Yan

Most state-of-the-art information extraction approaches rely on token-level labels to find the areas of interest in text. Unfortunately, these labels are time-consuming and costly to create, and consequently, not available for many…

计算与语言 · 计算机科学 2017-07-18 Rasmus Berg Palm , Dirk Hovy , Florian Laws , Ole Winther

Heterogeneity has been an indispensable aspect of distributed computing throughout the history of these systems. In particular, with the increasing prevalence of accelerator technologies (e.g., GPUs and TPUs) and the emergence of…

分布式、并行与集群计算 · 计算机科学 2022-12-23 Ali Mokhtari , Mohsen Amini Salehi

E-graphs have attracted growing interest in many fields, particularly in logic synthesis and formal verification. E-graph extraction is a challenging NP-hard combinatorial optimization problem. It requires identifying optimal terms from…

人工智能 · 计算机科学 2025-08-26 Jiaqi Yin , Zhan Song , Chen Chen , Yaohui Cai , Zhiru Zhang , Cunxi Yu

To detect security vulnerabilities, static analysis tools need to be configured with security-relevant methods. Current approaches can automatically identify such methods using binary relevance machine learning approaches. However, they…

机器学习 · 计算机科学 2024-03-13 Oshando Johnson , Goran Piskachev , Ranjith Krishnamurthy , Eric Bodden

One of the prerequisites of any organization is an unvarying sustainability in the dynamic and competitive industrial environment. Development of high quality software is therefore an inevitable constraint of any software industry. Defect…

软件工程 · 计算机科学 2012-04-03 T. R. Gopalakrishnan Nair , V. Suma , Pranesh Kumar Tiwari

In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the composition of a test suite needs to be well understood in…

软件工程 · 计算机科学 2007-11-06 Bart Van Rompaey , Serge Demeyer

In this paper we present a data-driven, integrated approach to speaker verification, which maps a test utterance and a few reference utterances directly to a single score for verification and jointly optimizes the system's components using…

机器学习 · 计算机科学 2015-09-29 Georg Heigold , Ignacio Moreno , Samy Bengio , Noam Shazeer
‹ 上一页 1 8 9 10 下一页 ›