The problem of recognizing mathematical expressions differs significantly from the recognition of standard prose. While in prose significant constraints can be put on the interpre...
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
In this paper, we present an active audition system for humanoid robot "SIG the humanoid". The audition system of the highly intelligent humanoid requires localization o...
Kazuhiro Nakadai, Tino Lourens, Hiroshi G. Okuno, ...
The degree to which a planner succeeds and meets response deadlines depends on the correctness and completenessof its modelswhichdescribe events and actions that change the world ...
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...