Results 21 to 30 of about 88,794 (289)

Towards property-based consistency verification

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016
We propose a novel approach to the verification of consistency models implemented in distributed storage systems. We base our work on a declarative semantic model defining consistency conditions as predicates expressing ordering and visibility of operations.
Paolo Viotti, Christopher Meiklejohn, Marko Vukolic   +2 more
openaire   +3 more sources

Construction Method of CNC Machine Tool Digital Twin Model Based on the Four-Layer Framework

IEEE Access
Digital twin (DT) has become a key technology to promote the development of intelligent manufacturing and has been widely used in the manufacturing industry.
Fengye Pei, Suifan Chen, Qipeng Li, Shixiong Guo, Yuyuan Xi, Pengju Huang   +5 more
doaj   +1 more source

A new ensemble-based consistency test for the Community Earth System Model (pyCECT v1.0) [PDF]

Geoscientific Model Development, 2015
Climate simulation codes, such as the Community Earth System Model (CESM), are especially complex and continually evolving. Their ongoing state of development requires frequent software verification in the form of quality assurance to both preserve the ...
A. H. Baker, D. M. Hammerling, M. N. Levy, H. Xu, J. M. Dennis, B. E. Eaton, J. Edwards, C. Hannay, S. A. Mickelson, R. B. Neale, D. Nychka, J. Shollenberger, J. Tribbia, M. Vertenstein, D. Williamson   +14 more
doaj   +1 more source

Palmprint verification using consistent orientation coding [PDF]

2009 16th IEEE International Conference on Image Processing (ICIP), 2009
Developing accurate and robust palmprint verification algorithms is one of the key issues in automatic palmprint recognition systems. Recently, orientation based coding algorithms, such as Competitive Code (CompCode) and Orthogonal Line Ordinal Features (OLOF), have been proposed and have been attracting much research attention.
Zhenhua Guo 0001, Wangmeng Zuo, Lei Zhang 0006, David Zhang 0001   +3 more
openaire   +1 more source

Fractal Dimension-Based Multi-Focus Image Fusion via AGPCNN and Consistency Verification in NSCT Domain

Fractal and Fractional
Multi-focus images are essential in various computer vision applications. To mitigate artifacts and information loss in multi-focus image fusion, we propose a novel algorithm based on AGPCNN and fractal dimension in the NSCT domain. The source images are
Ming Lv, Zhenhong Jia, Liangliang Li, Hongbing Ma   +3 more
doaj   +1 more source

On the Behaviour of General Purpose Applications on Cloud Storage [PDF]

, 2014
Managing data over cloud infrastructures raises novel challenges with respect to existing and well studied approaches such as ACID and long running transactions.
Melgratti, Hernán, Bocchi, Laura, Melgratti, Hernan Claudio, Hernán Melgratti, Laura Bocchi   +4 more
core   +1 more source

Multi-Focus Image Fusion Based on Dual-Channel Rybak Neural Network and Consistency Verification in NSCT Domain

Fractal and Fractional
In multi-focus image fusion, accurately detecting and extracting focused regions remains a key challenge. Some existing methods suffer from misjudgment of focus areas, resulting in incorrect focus information or the unintended retention of blurred ...
Ming Lv, Sensen Song, Zhenhong Jia, Liangliang Li, Hongbing Ma   +4 more
doaj   +1 more source

Is identity per se irrelevant? A contrarian view of self-verification effects

, 2008
Self-verification theory (SVT) posits that people who hold negative self-views, such as depressive patients, ironically strive to verify that these self-views are correct, by actively seeking out critical feedback or interaction partners who evaluate ...
Gregg, Aiden P.
core   +1 more source

Multi-Source Image Matching Algorithms for UAV Positioning: Benchmarking, Innovation, and Combined Strategies

Remote Sensing
The accuracy and reliability of unmanned aerial vehicle (UAV) visual positioning systems are dependent on the performance of multi-source image matching algorithms.
Jianli Liu, Jincheng Xiao, Yafeng Ren, Fei Liu, Huanyin Yue, Huping Ye, Yingcheng Li   +6 more
doaj   +1 more source

Safety and Consistency Verification for a High-level Permission Assignment Constraint [PDF]

Jisuanji gongcheng, 2018
Existing permission assignment constraints pay more attention to ensure the safety,however the availability for the system is ignored.Aiming at this problem,this paper proposes a High-level Permission Assignment (HPA)constraint to satisfy the safety and ...
WANG Zheng,XU Dewu,HAN Jianmin,LU Jianfeng
doaj