Sciweavers

898 search results - page 82 / 180
» A Linear Tabling Mechanism
Sort
View
GLOBECOM
2008
IEEE
14 years 2 months ago
Collusion-Resistant Multi-Winner Spectrum Auction for Cognitive Radio Networks
—In order to fully utilize spectrum, auction-based dynamic spectrum allocation has become a promising approach which allows unlicensed wireless users to lease unused bands from s...
Yongle Wu, Beibei Wang, K. J. Ray Liu, T. Charles ...
CORR
2007
Springer
91views Education» more  CORR 2007»
13 years 7 months ago
The Kinetostatic Optimization of a Novel Prismatic Drive
Abstract—The design of a mechanical transmission taking into account the transmitted forces is reported in this paper. This transmission is based on Slide-o-Cam, a cam mechanism ...
Damien Chablat, Stéphane Caro
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 6 months ago
Approximate Judgement Aggregation
We analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e....
Ilan Nehama
WINE
2010
Springer
144views Economy» more  WINE 2010»
13 years 5 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
Xi Alice Gao, Yiling Chen
HPCA
2007
IEEE
14 years 8 months ago
MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging
Memory bugs are a broad class of bugs that is becoming increasingly common with increasing software complexity, and many of these bugs are also security vulnerabilities. Unfortuna...
Guru Venkataramani, Brandyn Roemer, Yan Solihin, M...