1124 search results - page 107 / 225 » Refined quorum systems |
170
click to vote
PICS
2000
15 years 7 months ago
2000
Hexagonal dot packing seems to offer benefits for halftone printing compared to conventional square dot packing, but little practical experience has been reported. Taking advantag...
173
click to vote
WSC
1996
15 years 7 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
147
click to vote
APAL
2005
15 years 6 months ago
2005
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
181
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
159
click to vote
FORTE
1990
15 years 7 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...