Sciweavers

3713 search results - page 365 / 743
» Quantum Information Theory
Sort
View
PPDP
2009
Springer
16 years 22 days ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reď...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
SAGT
2009
Springer
192views Game Theory» more  SAGT 2009»
16 years 21 days ago
Better with Byzantine: Manipulation-Optimal Mechanisms
Abstract. A mechanism is manipulable if it is in some agents’ best interest to misrepresent their private information. The revelation principle establishes that, roughly, anythin...
Abraham Othman, Tuomas Sandholm
INDIASE
2009
ACM
16 years 21 days ago
An effective learning environment for teaching problem solving in software architecture
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...
Kirti Garg, Vasudeva Varma
SIGECOM
2009
ACM
114views ECommerce» more  SIGECOM 2009»
16 years 20 days ago
Policy teaching through reward function learning
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
Haoqi Zhang, David C. Parkes, Yiling Chen
SIGECOM
2009
ACM
112views ECommerce» more  SIGECOM 2009»
16 years 20 days ago
Network bargaining: algorithms and structural results
We consider models for bargaining in social networks, in which players are represented by vertices and edges represent bilateral opportunities for deals between pairs of players. ...
Tanmoy Chakraborty, Michael Kearns, Sanjeev Khanna