中文
相关论文

相关论文: Architectural Flaw Detection in Civil Engineering …

200 篇论文

AI tasks encompass a wide range of domains and fields. While numerous AI models have been designed for specific tasks and applications, they often require considerable human efforts in finding the right model architecture, optimization…

计算与语言 · 计算机科学 2023-05-05 Shujian Zhang , Chengyue Gong , Lemeng Wu , Xingchao Liu , Mingyuan Zhou

AI has become integral to safety-critical areas like autonomous driving systems (ADS) and robotics. The architecture of recent autonomous systems are trending toward end-to-end (E2E) monolithic architectures such as large language models…

人工智能 · 计算机科学 2025-07-24 Mandar Pitale , Jelena Frtunikj , Abhinaw Priyadershi , Vasu Singh , Maria Spence

One goal of AI (and AGI) is to identify and understand specific mechanisms and representations sufficient for general intelligence. Often, this work manifests in research focused on architectures and many cognitive architectures have been…

人工智能 · 计算机科学 2025-06-17 Robert E. Wray , James R. Kirk , John E. Laird

The field of software security testing, more specifically penetration testing, is an activity that requires high levels of expertise and involves many manual testing and analysis steps. This paper explores the potential usage of…

计算与语言 · 计算机科学 2023-10-19 Andreas Happe , Jürgen Cito

Architecture erosion has a detrimental effect on maintenance and evolution, as the implementation deviates from the intended architecture. Detecting symptoms of erosion, particularly architectural violations, at an early stage is crucial.…

软件工程 · 计算机科学 2025-08-26 Ruiyin Li , Peng Liang , Paris Avgeriou

Artificial intelligence (AI) and robotics research and implementation emerged in the architecture, engineering, and construction (AEC) industry to positively impact project efficiency and effectiveness concerns such as safety, productivity,…

机器人学 · 计算机科学 2024-03-26 Ci-Jyun Liang , Thai-Hoa Le , Youngjib Ham , Bharadwaj R. K. Mantha , Marvin H. Cheng , Jacob J. Lin

The success of modern Artificial Intelligence (AI) technologies depends critically on the ability to learn non-linear functional dependencies from large, high dimensional data sets. Despite recent high-profile successes, empirical evidence…

机器学习 · 计算机科学 2019-01-25 Luca Bortolussi , Guido Sanguinetti

Feature transformation plays a critical role in enhancing machine learning model performance by optimizing data representations. Recent state-of-the-art approaches address this task as a continuous embedding optimization problem, converting…

机器学习 · 计算机科学 2025-08-29 Yang Gao , Dongjie Wang , Scott Piersall , Ye Zhang , Liqiang Wang

This work describes algorithms for performing discrete object detection, specifically in the case of buildings, where usually only low quality RGB-only geospatial reflective imagery is available. We utilize new candidate search and feature…

计算机视觉与模式识别 · 计算机科学 2016-03-15 Joseph Paul Cohen , Wei Ding , Caitlin Kuhlman , Aijun Chen , Liping Di

While several studies have examined the security of code generated by GPT and other Large Language Models (LLMs), most have relied on controlled experiments rather than real developer interactions. This paper investigates the security of…

软件工程 · 计算机科学 2026-02-19 Vladislav Belozerov , Peter J Barclay , Ashkan Sami

In this paper, we test the hypothesis that although OpenAI's GPT-4 performs well generally, we can fine-tune open-source models to outperform GPT-4 in smart contract vulnerability detection. We fine-tune two models from Meta's Code Llama…

密码学与安全 · 计算机科学 2024-07-17 Peter Ince , Xiapu Luo , Jiangshan Yu , Joseph K. Liu , Xiaoning Du

The usage of Unmanned Aerial Vehicles (UAVs) in the context of structural health inspection is recently gaining tremendous popularity. Camera mounted UAVs enable the fast acquisition of a large number of images often used for mapping, 3D…

计算机视觉与模式识别 · 计算机科学 2021-10-12 Alon Oring

Legal contracts possess an inherent, semantically vital structure (e.g., sections, clauses) that is crucial for human comprehension but whose impact on LLM processing remains under-explored. This paper investigates the effects of explicit…

计算与语言 · 计算机科学 2025-05-20 Christian Braun , Alexander Lilienbeck , Daniel Mentjukov

Artificial intelligence (AI) is rapidly emerging as an enabling tool for solving various complex materials design problems. This paper aims to review recent advances in AI-driven materials-by-design and their applications to energetic…

材料科学 · 物理学 2023-05-12 Joseph B. Choi , Phong C. H. Nguyen , Oishik Sen , H. S. Udaykumar , Stephen Baek

This position paper argues that AI-assisted software engineering requires explicit mechanisms for tracking the epistemic status and temporal validity of architectural decisions. LLM coding assistants generate decisions faster than teams can…

软件工程 · 计算机科学 2026-01-30 Sankalp Gilda , Shlok Gilda

Using a novel professional certification survey, the study focuses on assessing the vocational skills of two highly cited AI models, GPT-3 and Turbo-GPT3.5. The approach emphasizes the importance of practical readiness over academic…

机器学习 · 计算机科学 2023-12-19 David Noever , Matt Ciolino

Dynamic analysis methods effectively identify shelled, wrapped, or obfuscated malware, thereby preventing them from invading computers. As a significant representation of dynamic malware behavior, the API (Application Programming Interface)…

密码学与安全 · 计算机科学 2023-12-14 Pei Yan , Shunquan Tan , Miaohui Wang , Jiwu Huang

Context: ChatGPT and other large language models (LLMs) are widely used across healthcare, business, economics, engineering, and software engineering (SE). Despite their popularity, concerns persist about their reliability, especially their…

软件工程 · 计算机科学 2025-04-29 Vahid Garousi

This report embarks on a mission to revolutionize clinical trial protocol development through the integration of advanced AI technologies. With a focus on leveraging the capabilities of generative AI, specifically GPT-4, this initiative…

计算工程、金融与科学 · 计算机科学 2024-08-06 Morteza Maleki , SeyedAli Ghahari

This comprehensive survey examines Lean 4, a state-of-the-art interactive theorem prover and functional programming language. We analyze its architectural design, type system, metaprogramming capabilities, and practical applications in…

计算机科学中的逻辑 · 计算机科学 2025-02-03 Xichen Tang