Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
We study the use of rich syntax-based statistical models for generating grammatical case for the purpose of machine translation from a language which does not indicate case explic...
The ability to represent knowledge about space and its position therein is crucial for a mobile robot. To this end, topological and semantic descriptions are gaining popularity fo...
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
— In order to extend the coverage of wireless communication to metropolitan scale, the Worldwide Interoperability for Microwave Access (WiMAX) standard was developed and ratifie...
Tsz Ho Chan, Mounir Hamdi, Chui Ying Cheung, Maode...