—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
Zongxia Du, Jinpeng Huai, Yunhao Liu, Chunming Hu,...
This paper presents ways of approaching the design of successful character-based interactive installations. We rationalize our arguments within the context of both Disney's &...
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
Among the many methods for modeling cortical interactions using EEG and MEG data, Multivariate Autoregressive(MVAR) functional connectivity measures have the advantage of providin...