4224 search results - page 378 / 845 » Reasoning about Choice |
172
click to vote
CSL
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
236
click to vote
MIDDLEWARE
2004
Springer
16 years 29 days ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
225
click to vote
FOCS
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
209
click to vote
LICS
2003
IEEE
16 years 26 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
195
click to vote
FUZZY
2001
Springer
16 years 2 days ago
2001
Springer
Simulated annealing is a general optimisation algorithm, based on hill-climbing. As in hill-climbing, new candidate solutions are selected from the ‘neighbourhood’ of the curre...