Formal Foundations for Networking (Dagstuhl Seminar 15071).

Nikolaj Bjørner Nate Foster Philip Brighten Godfrey Pamela Zave

Published in: Dagstuhl Reports (2015)

Keyphrases

formal model
formal representation
artificial intelligence
computer vision
knowledge base
decision making
e learning
image processing
data model
peer to peer
anomaly detection
distributed computing
wireless networking