Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.
Tye StallardKarl N. LevittPublished in: ACSAC (2003)
Keyphrases
- automated analysis
- integrity checking
- forensic science
- integrity constraints
- deductive databases
- hard and soft constraints
- biomedical imaging
- visual analysis
- natural language
- constraint logic programming
- digital forensics
- video analysis
- data mining
- forensic analysis
- law enforcement
- database
- query answering
- object oriented
- np hard
- data analysis
- social networks
- machine learning