An Algorithmic Logic Approach to Formalizing Database Update Semantics

1998 ◽  
Vol 8 (3) ◽  
pp. 199-220 ◽  
Author(s):  
James Brawner ◽  
James Vorbach
2019 ◽  
Vol 8 (3) ◽  
pp. 5926-5929

Blind forensic-investigation in a digital image is a new research direction in image security. It aims to discover the altered image content without any embedded security scheme. Block and key point based methods are the two dispensation options in blind image forensic investigation. Both the techniques exhibit the best performance to reveal the tampered image. The success of these methods is limited due to computational complexity and detection accuracy against various image distortions and geometric transformation operations. This article introduces different blind image tampering methods and introduces a robust image forensic investigation method to determine the copy-move tampered image by means of fuzzy logic approach. Empirical outcomes facilitate that the projected scheme effectively classifies copy-move type of forensic images as well as blurred tampered image. Overall detection accuracy of this method is high over the existing methods.


1998 ◽  
Author(s):  
Thomas Meitzler ◽  
Regina Kistner ◽  
Bill Pibil ◽  
Euijung Sohn ◽  
Darryl Bryk ◽  
...  

1981 ◽  
Vol 4 (4) ◽  
pp. 975-995
Author(s):  
Andrzej Szałas

A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described by a set of schemes of axioms and inference rules. The completeness theorem and the soundness theorem for this axiomatization are proved.


Author(s):  
Abdoul Azize Kindo ◽  
Guidedi Kaladzavi ◽  
Sadouanouan Malo ◽  
Gaoussou Camara ◽  
Theodore Marie Yves Tapsoba ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document