In this work, the problem of extracting phrase translation is formulated as an information retrieval process implemented with a log-linear model aiming for a balanced precision an...
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
: Question answering systems have proven to be helpful to users because they can provide succinct answers that do not require users to wade through a large number of documents. How...
Jimmy J. Lin, Dennis Quan, Vineet Sinha, Karun Bak...
—Mind maps are used by millions of people. In this paper we present how information retrieval on mind maps could be used to enhance expert search, document summarization, keyword...