Ausgabe 1/2005
Inhalt (5 Artikel)
Building Minority Language Corpora by Learning to Generate Web Search Queries
Rayid Ghani, Rosie Jones, Dunja Mladenic
ENDL: A Logical Framework for Verifying Secure Transaction Protocols
Qingfeng Chen, Chengqi Zhang, Shichao Zhang