2540 search results - page 327 / 508 » Abstract Logics as Dialgebras |
83
Voted
WSPI
2008
15 years 2 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
118
click to vote
DAGSTUHL
1998
15 years 2 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
78
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
91
Voted
ATAL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
115
Voted
ISCAS
1994
IEEE
15 years 4 months ago
1994
IEEE
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...