Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
Sari Hakkarainen, Darijus Strasunskas, Lillian Hel...
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
There is a genuine demand for personalization and guidance in learning systems, as well as in general commercial learning systems for the WWW, and further, for the new, emerging S...
Alexandra I. Cristea, Angelo Wentzler, Egbert Heuv...
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...