scholarly journals Specifying Overlaps of Heterogeneous Models for Global Consistency Checking

Author(s):  
Zinovy Diskin ◽  
Yingfei Xiong ◽  
Krzysztof Czarnecki
2001 ◽  
Vol 10 (04) ◽  
pp. 639-662 ◽  
Author(s):  
XUAN LIU ◽  
SHASHI SHEKHAR ◽  
SANJAY CHAWLA

Efficient algorithms for checking consistency of a set of spatial constraints among spatiotemporal objects are crucial for many practical application systems needing real-time response. This paper is focused on the consistency for directional spatial constraints in a two-dimensional Euclidean space, which is critical in application domains such as geographic information systems, battlefield visualization, transportation, etc. We propose a dimension graph representation to maintain the Euclidean spatial constraints among 2D objects (points, intervals, regions). The basic idea is to project the spatial constraints on both X and Y dimensions, and then to construct a dimension graph on each dimension. The dimension graph representation transforms the problem of consistency checking into the problem of graph cycle detection. Consistency checking for conjunctive constraints can then be achieved in linear time complexity. This approach is much more efficient than competing approaches when there are few disjunctions in the spatial constraints, which are often true in above applications. We also demonstrate that the proposed algorithm can guarantee global consistency.


Author(s):  
A. Paredes-Arriaga ◽  
A. Meléndez-López ◽  
A. Heredia ◽  
J. Cruz-Castañeda ◽  
A. Negrón-Mendoza ◽  
...  

1992 ◽  
Vol 55 (1) ◽  
pp. 87-107 ◽  
Author(s):  
Rina Dechter
Keyword(s):  

2020 ◽  
Vol 41 (Supplement_2) ◽  
Author(s):  
R Gallagher ◽  
C Astley ◽  
E Thomas ◽  
R Zecchin ◽  
C Ferry ◽  
...  

Abstract Background/Introduction Comprehensive exercise-based cardiac rehabilitation (CR) has well-established efficacy and effectiveness for improving patients' outcomes. There is substantial variability in terms of clinical effectiveness and quality measurement of CR programs internationally which limits service improvement initiatives. In Australia in 2018 a the Australian Cardiovascular Health and Rehabilitation Association (ACRA) and the National Heart Foundation of Australia (NHFA) combined forces to develop nationally-agreed, internationally-consistent, locally-relevant quality indicators (QI). Purpose To provide a minimum set of standardised national-level QI that should be collected and reported on by CR programs to determine the quality of delivery and associated outcomes, benchmark performance and support improvement processes. Methods We formed the National Cardiac Rehabilitation Measurement (NCRM) Taskforce led by ACRA and NHF and used the National Institute for Health and Care Excellence (NICE) UK guidelines to develop high quality QIs. The process included topic overview, prioritising areas for quality improvement, drafting and consultation, validation and consistency checking. Results Eleven preliminary QIs were circulated for ranking and comment to all ACRA members (predominately multidisciplinary CR providers) (68 responses), and to leading national multidisciplinary CR experts from cardiology, research, physiotherapy, nursing, epidemiology and register backgrounds (7 responses). Ratings, comments and suggestions were collated and discussed by the NCRM Taskforce, and the indicators rated most important, useful and feasible were retained, resulting in 10 QIs. These 10 QIs were presented at the ACRA national conference and then discussed at a workshop (55 participants) for this purpose. Ten QIs and accompanying data dictionary with definitions, evidence and allowable values is the final product. Conclusions A minimum set of locally relevant, internationally recognised, national QIs for CR is now available for CR providers, health service managers and researchers in Australia, which may be relevant internationally. The QIs will best serve national interests incorporated within a national cardiac registry but will also be useful for site audits and have strong potential to be aggregated across sites, health districts and states. The definitive test of the QIs will be how useful they are for CR program coordinators and funders of such programs; a key consideration for building sustainable business models and ensuring long-term implementation. Funding Acknowledgement Type of funding source: None


Sign in / Sign up

Export Citation Format

Share Document