Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Paper
Distributed Network Protocols
Abstract
A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology. © 1983 IEEE
Related
Conference paper
Low-Resource Speech Recognition of 500-Word Vocabularies
Sabine Deligne, Ellen Eide, et al.
INTERSPEECH - Eurospeech 2001
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science