2736 search results - page 144 / 548 » Implementable allocation rules |
IJCAI
2001
15 years 2 months ago
2001
Generalized Vickrey mechanisms have received wide attention in the literature because they are efficient and strategyproof, i.e. truthful bidding is optimal whatever the bids of o...
139
Voted
ACL
1990
15 years 1 months ago
1990
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
103
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
139
Voted
WADT
2004
Springer
15 years 6 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
98
Voted
CSCLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...