1573 search results - page 184 / 315 » Signs and Formal Concepts |
CSCW
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we investigate how consistency can be ensured for replicated continuous interactive media, i.e., replicated media which change their state in reaction to user initia...
107
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
107
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
111
Voted
APN
1994
Springer
15 years 6 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
ACSD
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...