An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
: In this paper, we propose an improved context-aware system for supporting to learning Japanese mimicry and onomatopoeia (MIO) using sensor data. In our two previous studies, we p...
Bin Hou, Hiroaki Ogata, Masayuki Miyata, Mengmeng ...