It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
For effective cooperation, sharing of resources, a good social climate and therefore better learning, students need to maintain awareness of the social situation in a group or a c...
Virtual organizations are perceived as a means for achieving flexibility. However, shared inter-organizational business processes may pose additional constraints on the internal pr...
This paper presents a framework for context-aware applications, with a particular focus on collaboration and pervasiveness. The framework relies on distributed ontologies, which ar...
Abstract. This paper examines the generalization capability in learning multiple temporal patterns by the recurrent neural network with parametric bias (RNNPB). Our simulation expe...