Sciweavers

3092 search results - page 545 / 619
» Where are you pointing
Sort
View
ATAL
2009
Springer
14 years 3 months ago
False name manipulations in weighted voting games: splitting, merging and annexation
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
Haris Aziz, Mike Paterson
ATAL
2009
Springer
14 years 3 months ago
User modeling in position auctions: re-considering the GSP and VCG mechanisms
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...
Danny Kuminov, Moshe Tennenholtz
ECSQARU
2009
Springer
14 years 3 months ago
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
sing Attacks to Attacks in Abstract Argumentation Frameworks Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida Dipartimento di Elettronica per l’Automazi...
Pietro Baroni, Federico Cerutti, Massimiliano Giac...
SSD
2009
Springer
149views Database» more  SSD 2009»
14 years 3 months ago
Analyzing Trajectories Using Uncertainty and Background Information
A key issue in clustering data, regardless the algorithm used, is the definition of a distance function. In the case of trajectory data, different distance functions have been pro...
Bart Kuijpers, Bart Moelans, Walied Othman, Alejan...
TABLEAUX
2009
Springer
14 years 3 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...