Sign in
Tarski: a platform for automated analysis of dynamically configurable traceability semantics.
Ferhat Erata
Moharram Challenger
Bedir Tekinerdogan
Anne Monceaux
Eray Tüzün
Geylani Kardas
Published in:
SAC (2017)
Keyphrases
</>
automated analysis
automated detection
biomedical imaging
visual analysis
logic programming
life cycle
video sequences
software architecture
cell nuclei
data mining
logic programs
data integration
social network analysis
video analysis
motion imagery