Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...
Dynamic voltage scaling (DVS) is an effective low-power design technique for embedded real-time systems. In recent years, many DVS algorithms have been proposed for reducing the e...
Woonseok Kim, Dongkun Shin, Han-Saem Yun, Jihong K...
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
Karen Schuchardt, Carmen M. Pancerella, Larry A. R...
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...