A Formal Model for English Auction Protocol.

Munira G. Nabi Aamer Nadeem

Published in: SERA (2009)

Keyphrases

formal model
auction protocol
natural language
combinatorial auctions
machine translation
formal models
security properties
information retrieval
multi objective