Sciweavers

35 search results - page 1 / 7
» ausai 2004
Sort
View
AUSAI
2004
Springer
15 years 11 months ago
An Interaction Model for Affect Monitoring
Insu Song, Guido Governatori, Robert Colomb
AUSAI
2004
Springer
15 years 10 months ago
Sub-structural Niching in Non-stationary Environments
Kumara Sastry, Hussein A. Abbass, David E. Goldber...
165
Voted
AUSAI
2004
Springer
15 years 11 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