3765 search results - page 33 / 753 » Qualitative Action Systems |
128
click to vote
ISMB
1998
15 years 3 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
JASSS
1998
15 years 1 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
125
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
104
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
In a highly dynamic environment, software systems requires a capacity of self-adaptation to fit the environment and the user needs evolution, which increases the software archite...
107
click to vote
ECAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...