In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
The CELEBRATEproject developed and successfully demonstrated a federated learning object brokerage system architecture and made available to schools over 1350 learning objects prod...
The application of Artificial Intelligence described in this article is intended to resolve the issue of speculation on the stock market. Genetic Algorithms is the technique that ...
David de la Fuente, Alejandro Garrido, Jaime Lavia...
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...