Results 201 to 210 of about 42,044 (262)

A semantic rule checking environment for building performance checking

Automation in Construction, 2011
Today's construction industry relies heavily on high-performing building information modelling (BIM) systems. By deploying the Industry Foundation Classes (IFC) as a description language, these systems offer building information in a widely interoperable format, so that several applications are able to infer extra information.
Pieter Pauwels, R van de Walle
exaly   +2 more sources

Classification of rules for automated BIM rule checking development

Automation in Construction, 2015
Abstract Automated rule checking has been identified as potentially providing significant value to the AEC industry from both regulatory and industry perspectives. Key challenges to a successful rule checking implementation are the complexities inherent in the rules themselves and the breadth of conditions to which they need to apply.
Wawan Solihin, C Eastman
exaly   +2 more sources

Calibration with Many Checking Rules

Mathematics of Operations Research, 2003
Each period an outcome (out of finitely many possibilities) is observed. For simplicity assume two possible outcomes, a and b. Each period, a forecaster announces the probability of a occurring next period based on the past. Consider an arbitrary subsequence of periods (e.g., odd periods, even periods, all periods in which b is observed, etc.). Given
Alvaro Sandroni, Rann Smorodinsky, Rakesh V. Vohra   +2 more
openaire   +3 more sources

Design rule checking and VLSI

Integration, 1987
Abstract This paper describes a parallel connection machine architecture which is capable of assisting with the DRC of VLSI circuits. Because of the systems architecture a significant performance improvement can be expected from our machine.
O. P. Traynor, Jon R. Malone
openaire   +2 more sources

Rule-based testability rule check program

Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2002
A practical rule-based testability rule checker for VLSI testing adopting a tunable rule-base shell suited for rule checking is described. The checking process is divided into symbolic simulation and violation detection. The testability rules applied in the violation detection and the circuit primitive operation rules applied in the symbolic simulator ...
Yasushi Koseko, C. Hiramine, Takuji Ogihara, Shinichi Murai   +3 more
openaire   +2 more sources

An assume-guarantee rule for checking simulation

ACM Transactions on Programming Languages and Systems, 1998
The simulation preorder on state transition systems is widely accepted as a useful notion of refinement, both in its own right and as an efficiently checkable sufficient condition for trace containment. For composite systems, due to the exponential explosion of the state space, there is a need for decomposing a simulation check of the form
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran   +3 more
openaire   +2 more sources

Checking Sets of Pure Evolving Association Rules

Fundamenta Informaticae, 2021
Extracting association rules from large datasets has been widely studied in many variants in the last two decades; they allow to extract relations between values that occur more “often” in a database. With temporal association rules the concept has been declined to temporal databases.
Combi, Carlo, Rizzi, Romeo, Sala, Pietro
openaire   +3 more sources