中文
相关论文

相关论文: Application-driven Test and Evaluation Framework f…

200 篇论文

Empirical evaluation of state-of-the-art natural-language (NL) to temporal-logic (TL) translation systems reveals near-perfect performance on existing benchmarks. However, current studies measure only the accuracy of the translation of NL…

系统与控制 · 电气工程与系统科学 2025-12-19 William H English , Chase Walker , Dominic Simon , Sumit Kumar Jha , Rickard Ewetz

Ultrasonic metal welding (UMW) is a key joining technology with widespread industrial applications. Condition monitoring (CM) capabilities are critically needed in UMW applications because process anomalies significantly deteriorate the…

机器学习 · 计算机科学 2024-11-19 Ahmadreza Eslaminia , Yuquan Meng , Klara Nahrstedt , Chenhui Shao

The Extract, Transform, Load (ETL) workflow is fundamental for populating and maintaining data warehouses and other data stores accessed by analysts for downstream tasks. A major shortcoming of modern ETL solutions is the extensive need for…

软件工程 · 计算机科学 2025-08-01 Mattia Di Profio , Mingjun Zhong , Yaji Sripada , Marcel Jaspars

As modern hardware designs grow in complexity and size, ensuring security across the confidentiality, integrity, and availability (CIA) triad becomes increasingly challenging. Information flow tracking (IFT) is a widely-used approach to…

密码学与安全 · 计算机科学 2025-04-10 Nowfel Mashnoor , Mohammad Akyash , Hadi Kamali , Kimia Azar

Recent advances of deep learning have achieved remarkable performances in various challenging computer vision tasks. Especially in object localization, deep convolutional neural networks outperform traditional approaches based on extraction…

计算机视觉与模式识别 · 计算机科学 2016-02-05 Sangheum Hwang , Hyo-Eun Kim

Memory-based self-evolution has emerged as a promising paradigm for coding agents. However, existing approaches typically restrict memory utilization to homogeneous task domains, failing to leverage the shared infrastructural foundations,…

人工智能 · 计算机科学 2026-04-16 Kangsan Kim , Minki Kang , Taeil Kim , Yanlai Yang , Mengye Ren , Sung Ju Hwang

Real-time situational awareness for the location of assets is critical to ensure missions are completed efficiently and requirements are satisfied. In many commercial settings, the application of global positioning system (GPS) sensors is…

计算机视觉与模式识别 · 计算机科学 2023-11-28 Ari Goodman , Ryan O'Shea

Following the recent surge in adoption of machine learning (ML), the negative impact that improper use of ML can have on users and society is now also widely recognised. To address this issue, policy makers and other stakeholders, such as…

软件工程 · 计算机科学 2021-03-02 Alex Serban , Koen van der Blom , Holger Hoos , Joost Visser

Log-Structured Merge trees (LSM trees) are increasingly used as the storage engines behind several data systems, frequently deployed in the cloud. Similar to other database architectures, LSM trees take into account information about the…

数据库 · 计算机科学 2021-11-04 Andy Huynh , Harshal A. Chaudhari , Evimaria Terzi , Manos Athanassoulis

Scaling data-driven energy forecasting to district level requires models that can be re-used across buildings with minimal target-domain data and honest uncertainty estimates. We present an uncertainty-aware transfer learning (TL) framework…

人工智能 · 计算机科学 2026-05-29 Shadmehr Zaregarizi , Khashayar Yavari

Predictive analytics in Mobile Edge Computing (MEC) based Internet of Things (IoT) is becoming a high demand in many real-world applications. A prediction problem in an MEC-based IoT environment typically corresponds to a collection of…

分布式、并行与集群计算 · 计算机科学 2020-07-30 Prabath Abeysekara , Hai Dong , A. K. Qin

Recommender systems are pivotal in delivering personalized experiences across industries, yet their adoption and scalability remain hindered by the need for extensive dataset- and task-specific configurations. Existing systems often require…

信息检索 · 计算机科学 2025-06-05 Tri Kurniawan Wijaya , Xinyang Shao , Gonzalo Fiz Pontiveros , Edoardo D'Amico

We present Quickstrom, a property-based testing system for acceptance testing of interactive applications. Using Quickstrom, programmers can specify the behaviour of web applications as properties in our testing-oriented dialect of Linear…

编程语言 · 计算机科学 2022-03-23 Liam O'Connor , Oskar Wickström

Anomaly Detectors are trained on healthy operating condition data and raise an alarm when the measured samples deviate from the training data distribution. This means that the samples used to train the model should be sufficient in quantity…

机器学习 · 计算机科学 2021-02-24 Gabriel Michau , Olga Fink

Due to the development of intelligent demand-side management with automatic control, distributed populations of large residential loads, such as air conditioners (ACs) and electrical water heaters (EWHs), have the opportunities to provide…

计算工程、金融与科学 · 计算机科学 2020-05-05 Qinran Hu , Fangxing Li

Nanoscale devices with Terahertz (THz) communication capabilities are envisioned to be deployed within human bloodstreams. Such devices will enable fine-grained sensing-based applications for detecting early indications (i.e., biomarkers)…

Extract, Transform, Load (ETL) is an integral part of Data Warehousing (DW) implementation. The commercial tools that are used for this purpose captures lot of execution trace in form of various log files with plethora of information.…

数据库 · 计算机科学 2012-03-09 Saptarsi Goswami , Samiran Ghosh , Amlan Chakrabarti

Reliability of an application or solution in production environment is one of the fundamental features where every SRE team is critically focused upon. At the same time achieving extreme reliability comes with the cost which include but not…

软件工程 · 计算机科学 2020-08-18 Kiran Mahesh ND

The LIght Detection And Ranging (LiDAR) sensor has become one of the most important perceptual devices due to its important role in simultaneous localization and mapping (SLAM). Existing SLAM methods are mainly developed for mechanical…

机器人学 · 计算机科学 2021-02-18 Han Wang , Chen Wang , Lihua Xie

Recent work on activation and latent steering has demonstrated that modifying internal representations can effectively guide large language models (LLMs) toward improved reasoning and efficiency without additional training. However, most…

机器学习 · 计算机科学 2026-01-07 Tuc Nguyen , Thai Le