Sciweavers

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