Sciweavers

35 search results - page 1 / 7
» ausai 2004
Sort
View
AUSAI
2004
Springer
13 years 9 months ago
An Interaction Model for Affect Monitoring
Insu Song, Guido Governatori, Robert Colomb
AUSAI
2004
Springer
13 years 8 months ago
Sub-structural Niching in Non-stationary Environments
Kumara Sastry, Hussein A. Abbass, David E. Goldber...
AUSAI
2004
Springer
13 years 9 months ago
A Formal Method Toward Reasoning About Continuous Change
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
Chunping Li