Behavioural Analysis of Sessions Using the Calculus of Structures.

Gabriel Ciobanu Ross Horne

Published in: Ershov Memorial Conference (2015)

Keyphrases

statistical analysis
database
image analysis
quantitative analysis
structural analysis
data mining
machine learning
web services
data analysis
web mining
theorem proving