2911 search results - page 38 / 583 » A Theory of Expressiveness in Mechanisms |
131
click to vote
RIVF
2007
15 years 7 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
167
click to vote
COLING
1996
15 years 7 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
250
click to vote
DSN
2011
IEEE
14 years 5 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
151
click to vote
IJCAI
2003
15 years 7 months ago
2003
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
156
click to vote
KI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...