Results 21 to 30 of about 2,767,476 (321)
Design Rule Checking with a CNN Based Feature Extractor [PDF]
Workshop on Machine Learning for CAD, 2020 Design rule checking (DRC) is getting increasingly complex in advanced nodes technologies. It would be highly desirable to have a fast interactive DRC engine that could be used during layout.
Luis Francisco +7 more
semanticscholar +1 more source
CivilEng, 2023 The transition to a design based on information modeling has paved the way for automated verification of project documentation. The most complicated type of design documentation check is the assessment of compliance with the requirements of regulatory ...
Elena Makisha
doaj +1 more source
Rule Learning over Knowledge Graphs: A Review [PDF]
Transactions on Graph Data and Knowledge, 2023 Compared to black-box neural networks, logic rules express explicit knowledge, can provide human-understandable explanations for reasoning processes, and have found their wide application in knowledge graphs and other downstream tasks.
Wu, Hong +4 more
doaj +1 more source
Utrecht Law Review, 2021 This article explores the role of civil society in checking the executive as reflected in the case-law of the European Court of Human Rights. Although this role is traditionally associated with the judiciary and the legislative, in light of the ...
Aikaterini Tsampi
doaj +1 more source
High-level implementable methods for automated building code compliance checking
Developments in the Built Environment, 2023 This paper presents an approach for defining high-level implementable methods to improve their low-level rule-checking procedures. This is part of an effort to develop challenging building information modeling (BIM)-enabled applications for building ...
Jin-Kook Lee +5 more
doaj +1 more source
Buildings, 2022 For design for safety (DFS), automated compliance checking methods have received extensive attention. Although many research efforts have indicated the potential of BIM and ontology for automated compliance checking, an efficient methodology is still ...
Yilun Zhou +5 more
doaj +1 more source
An intelligent operation ticket check method of power grid dispatch based on semantic analysis
Zhejiang dianli, 2022 For automatic and intelligent check of operation ticket for power grid scheduling， a scheduling operation ticket checking and analysis method based on bidirectional GRU （gated recurrent unit） neural networks and multiple verification rules is proposed ...
ZHENG Junxiang +4 more
doaj +1 more source
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
International Journal of Networked and Distributed Computing (IJNDC), 2020 Stochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking ...
Yang Liu, Rui Li
doaj +1 more source
BIM-Based Dynamic Construction Safety Rule Checking Using Ontology and Natural Language Processing
Buildings, 2022 Real-time identification and prevention of safety risks in dynamic construction activities are demanded by construction safety managers to cope with the growing complexity of the construction site.
Qiyu Shen +4 more
doaj +1 more source
Optimal policy and Taylor rule cross-checking under parameter uncertainty : [Version 26 September 2013] [PDF]
, 2013 We examine whether the robustifying nature of Taylor rule cross-checking under model uncertainty carries over to the case of parameter uncertainty. Adjusting monetary policy based on this kind of cross-checking can improve the outcome for the monetary ...
Roth, Markus, Bursian, Dirk
core +1 more source