14190 search results - page 2687 / 2838 » Abstractions for hybrid systems |
AISC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
d abstract)1 Niek Bergboer Eric Postma Jaap van den Herik Institute for Knowledge and Agent Technology, Universiteit Maastricht, P.O. Box 616, 6200 MD Maastricht It is well known t...
97
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
76
Voted
EGOV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes PARMENIDES, a system which facilitates structured debate about government policy. 1 The PARMENIDES System The last two decades have seen a deliberati...
EMISA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract: Obwohl Entscheidungstabellen zur Spezifikation von Programmablauflogik bereits seit über vier Jahrzehnten etabliert sind, finden sie in den Veröffentlichungen der letzt...