This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation o...
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
Peter Brusilovsky, Sergey A. Sosnovsky, Olena Shch...
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...