Sciweavers

1581 search results - page 266 / 317
» Mechanizing Inductive Reasoning
Sort
View
JAIR
2010
139views more  JAIR 2010»
14 years 8 months ago
Multiattribute Auctions Based on Generalized Additive Independence
We develop multiattribute auctions that accommodate generalized additive independent (GAI) preferences. We propose an iterative auction mechanism that maintains prices on potentia...
Yagil Engel, Michael P. Wellman
KESAMSTA
2010
Springer
14 years 8 months ago
Towards an Integrated Approach of Real-Time Coordination for Multi-agent Systems
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
Ghulam Mahdi, Abdelkader Gouaich, Fabien Michel
KI
2010
Springer
14 years 8 months ago
Soft Evidential Update via Markov Chain Monte Carlo Inference
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
Dominik Jain, Michael Beetz
TOIT
2010
115views more  TOIT 2010»
14 years 8 months ago
A market-based bandwidth charging framework
The increasing demand for high-bandwidth applications such as video-on-demand and grid computing is reviving interest in bandwidth reservation schemes. Earlier attempts did not ca...
David Michael Turner, Vassilis Prevelakis, Angelos...
ACSAC
2010
IEEE
14 years 7 months ago
Spam mitigation using spatio-temporal reputations from blacklist history
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
Andrew G. West, Adam J. Aviv, Jian Chang, Insup Le...