We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
This paper describes an approach to detect the entrance of building with hopeful that it will be applied for autonomous navigation robot. The entrance is an important component whi...
Suk-Ju Kang, Hoang-Hon Trinh, Dae-Nyeon Kim, Kang-...
The SINAI1 research group presents some results obtained after performing a brief analysis to the query logs from The European Library2 (TEL). The objective of the LogCLEF task is ...
Algorithms are an integral part of computer science literature. However, none of the current search engines offer specialized algorithm search facility. We describe a vertical sea...
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...