1567 search results - page 23 / 314 » A Mechanized Model of the Theory of Objects |
119
click to vote
WCNC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we study the election of multiple leaders for intrusion detection in the presence of selfish nodes in mobile ad hoc networks (MANETs). To balance the resource co...
114
click to vote
AAAI
1990
15 years 2 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
ECSCW
2003
15 years 2 months ago
2003
The constructs of "common ground" and "grounding" are frequently invoked in the CSCW literature as a mechanism by which participants engaged in joint activity c...
124
click to vote
MAAMAW
1994
Springer
15 years 5 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
128
click to vote
VMV
2001
15 years 2 months ago
2001
This contribution presents a new class of MRF, that is inspired by methods of statistical physics. The new energy function assumes full-connectivity in the neighborhood system and...