English
Related papers

Related papers: Building Information Modeling Using Constraint Log…

200 papers

Compliance checking is an essential part of a construction project. The recent rapid uptake of building information models (BIM) in the construction industry has created more opportunities for automated compliance checking (ACC). BIM…

Computation and Language · Computer Science 2024-08-01 Stefan Fuchs , Michael Witbrock , Johannes Dimyadi , Robert Amor

This research addresses the time-consuming and error-prone nature of manual code compliance checking in Building Information Modeling (BIM) by introducing a Large Language Model (LLM)-driven approach to semi-automate this critical process.…

Software Engineering · Computer Science 2025-06-26 Soumya Madireddy , Lu Gao , Zia Din , Kinam Kim , Ahmed Senouci , Zhe Han , Yunpeng Zhang

Manually checking models for compliance against building regulation is a time-consuming task for architects and construction engineers. There is thus a need for algorithms that process information from construction projects and report…

Artificial Intelligence · Computer Science 2019-10-02 Nicolas Bus , Ana Roxin , Guillaume Picinbono , Muhammad Fahad

Building information modeling (BIM) is a major upheaval in construction industry. Although BIM advantages in construction management has been proved in many papers reviewed, there are still many limitations that inhibit organizations to use…

Computational Engineering, Finance, and Science · Computer Science 2019-06-07 Hosein Taghaddos , Ali Mashayekhi , Behnam Sherafat

Building officials, particularly those in resource-constrained or rural jurisdictions, face labor-intensive, error-prone, and costly manual reviews of design documents as projects increase in size and complexity. The growing adoption of…

Software Engineering · Computer Science 2025-10-06 Hanlong Wan , Weili Xu , Michael Rosenberg , Jian Zhang , Aysha Siddika

Due to the fact that the construction industry is one of the high-risk industries, it is inevitable to pay sufficient attention to the safety category in this industry. Currently, due to the development of modern technologies, the…

Functional Analysis · Mathematics 2023-09-07 Paniz Pouryaghoubi , Arefeh Mohammadi

Building Information Modeling (BIM) is a crucial technology in the construction industry, offering benefits such as enhanced collaboration, real-time decision-making, and significant cost and time savings. Despite its advantages, BIM…

Robotics · Computer Science 2024-05-31 Mohammed Abdulsalam Alsofiani

In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a…

Artificial Intelligence · Computer Science 2023-08-31 Emmanuelle Dietz , Tobias Philipp , Gerrit Schramm , Andreas Zindel

Building Information Modeling has been used to analyze as well as increase the energy efficiency of the buildings. It has shown significant promise in existing buildings by deconstruction and retrofitting. Current cities which were built…

Machine Learning · Computer Science 2022-05-24 Rucha Bhalchandra Joshi , Annada Prasad Behera , Subhankar Mishra

Building compliance checking (BCC) is a critical process for ensuring that constructed facilities meet regulatory standards. A core component of BCC is the accurate enumeration of facility types and their spatial distribution. Despite its…

Computer Vision and Pattern Recognition · Computer Science 2025-09-29 Licheng Zhang , Bach Le , Naveed Akhtar , Tuan Ngo

Business processes need to have certain constraints such that they can lead to sustainable outcomes. These constraints can be manifold and their adherence has to be monitored. In the past compliance checking has been applied in several…

Computers and Society · Computer Science 2020-06-19 Clemens Schreiber

Structural modeling is a fundamental component of computational engineering science, in which even minor physical inconsistencies or specification violations may invalidate downstream simulations. The potential of large language models…

Software Engineering · Computer Science 2026-02-10 Yongqing Jiang , Jianze Wang , Zhiqi Shen , Zhenghong Lin , Jiayuan Wang , Yijian Yang , Kaoshan Dai , Haoran Luo

The introduction of assistive construction robots can significantly alleviate physical demands on construction workers while enhancing both the productivity and safety of construction projects. Leveraging a Building Information Model (BIM)…

Robotics · Computer Science 2024-06-11 Xi Wang , Hongrui Yu , Wes McGee , Carol C. Menassa , Vineet R. Kamat

Architecture-based Performance Prediction (AbPP) allows evaluation of the performance of systems and to answer what-if questions without measurements for all alternatives. A difficulty when creating models is that Performance Model…

Software Engineering · Computer Science 2020-07-01 Manar Mazkatli , David Monschein , Johannes Grohmann , Anne Koziolek

Machine-learned interatomic potentials (MLIPs) are increasingly used to replace computationally demanding electronic-structure calculations to model matter at the atomic scale. The most commonly used model architectures are constrained to…

Chemical Physics · Physics 2026-03-30 Filippo Bigi , Paolo Pegolo , Arslan Mazitov , Jonathan Schmidt , Michele Ceriotti

As the modern vehicle becomes more software-defined, it is beginning to take significant effort to avoid serious regression in software design. This is because automotive software architects rely largely upon manual review of code to spot…

Software Engineering · Computer Science 2022-08-30 Dhasarathy Parthasarathy , Cecilia Ekelin , Anjali Karri , Jiapeng Sun , Panagiotis Moraitis

In this paper, we examine the use of Conformal Language Modelling (CLM) alongside Answer Set Programming (ASP) to enhance the performance of standard open-weight LLMs on complex multi-step reasoning tasks. Using the StepGame dataset, which…

Computation and Language · Computer Science 2025-04-14 Navdeep Kaur , Lachlan McPheat , Alessandra Russo , Anthony G Cohn , Pranava Madhyastha

The adoption of Building Information Modeling (BIM) and model-based design within the Architecture, Engineering, and Construction (AEC) industry has been hindered by the perception that using BIM authoring tools demands more effort than…

Information Retrieval · Computer Science 2025-08-07 Changyu Du , Zihan Deng , Stavros Nousias , André Borrmann

The conventional BIM authoring process typically requires designers to master complex and tedious modeling commands in order to materialize their design intentions within BIM authoring tools. This additional cognitive burden complicates the…

Artificial Intelligence · Computer Science 2025-07-14 Changyu Du , Sebastian Esser , Stavros Nousias , André Borrmann

Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by…

Software Engineering · Computer Science 2026-05-25 L. Thomas van Binsbergen , Christopher A. Esterhuyse , Tim Müller
‹ Prev 1 2 3 10 Next ›