Proofs of Communication and Its Application for Fighting Spam.

Marek Klonowski Tomasz Struminski

Published in: SOFSEM (2008)

Keyphrases

email
communication networks
communication systems
computer networks
theorem prover
spam detection
information sharing
spam filtering
communication overhead
spam filters
short messages
neural network
communication cost
theorem proving
communication technologies
resource constrained