3134 search results - page 347 / 627 » Computing full disjunctions |
90
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
When rational but myopic agents negotiate over the exchange of indivisible resources, any restriction to the negotiation protocol may prevent the system from converging to a socia...
121
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
127
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
123
click to vote
EUC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...