2775 search results - page 285 / 555 » Visualizing abstract events |
183
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
156
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
164
click to vote
DAIS
2010
15 years 8 months ago
2010
Abstract. More and more home devices are equipped with advanced computational capabilities to improve the user satisfaction (e.g., programmable heating system, Internet TV). Althou...
184
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
196
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Locality - how well neighbouring genotypes correspond to neighbouring phenotypes - has been described as a key element in Evolutionary Computation. Grammatical Evolutio...