Sciweavers

1580 search results - page 82 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
AIMDM
1999
Springer
15 years 10 months ago
A Conversational Model for Health Promotion on the World Wide Web
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...
Alison Cawsey, Floriana Grasso, Ray Jones
BIRTHDAY
2006
Springer
15 years 10 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker
ECTEL
2006
Springer
15 years 10 months ago
CELEBRATE's Lessons
The CELEBRATEproject developed and successfully demonstrated a federated learning object brokerage system architecture and made available to schools over 1350 learning objects prod...
David Massart
GECCO
2006
Springer
237views Optimization» more  GECCO 2006»
15 years 10 months ago
Genetic algorithms to optimise the time to make stock market investment
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...
ICFEM
2000
Springer
15 years 10 months ago
Using Use Cases in Executable Z
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...
Wolfgang Grieskamp, Markus Lepper