Sciweavers

4794 search results - page 252 / 959
» Trust-Based Mechanism Design
Sort
View
TWC
2008
95views more  TWC 2008»
15 years 6 months ago
Talk burst control for push-to-talk over cellular
Abstract--Push-to-talk over Cellular (PoC) is a "walkietalkie"-like service designed for mobile networks. In this service, the speak permission is arbitrated through the ...
Meng-Hsun Tsai, Yi-Bing Lin
CGF
1999
113views more  CGF 1999»
15 years 6 months ago
An Efficient and Flexible Perception Pipeline for Autonomous Agents
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...
Christophe Bordeux, Ronan Boulic, Daniel Thalmann
LICS
2010
IEEE
15 years 5 months ago
An Intuitionistic Logic that Proves Markov's Principle
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
Hugo Herbelin
COMSIS
2010
15 years 4 months ago
Modeling and simulation of a spherical mobile robot
Spherical mobile robot (SMR) has been studied analytically and experimentally in this paper, a novel design with an internal propulsion mechanism and mathematical models of the rob...
Shengju Sang, Jichao Zhao, Hao Wu, Shoujun Chen, Q...
CORR
2010
Springer
128views Education» more  CORR 2010»
15 years 4 months ago
Optimal Auctions with Correlated Bidders are Easy
We consider the problem of designing a revenue-maximizing auction for a single item, when the values of the bidders are drawn from a correlated distribution. We observe that there...
Shahar Dobzinski, Hu Fu, Robert Kleinberg