Collecting and Analyzing Digital Proof Material to Detect Cybercrimes.

Abdulghani Ali Ahmed Yee Wai Kit

Published in: DASC/PiCom/DataCom/CyberSciTech (2018)

Keyphrases

automatic detection
detection method
data collection
theorem proving
geometry theorem proving
database
linear logic
detection algorithm
case study
similarity measure
three dimensional
computer vision
modal logic
theorem prover
artificial intelligence
learning algorithm
data mining