IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Interpretation∗ Soonho Kong http://ropas.snu.ac.kr/∼soon/ May 25, 2007 ∗ Work of P. Cousot and R.Cousot ncepts of Abstract Interpretation, 1 / 35
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...