Sciweavers

3713 search results - page 552 / 743
» Quantum Information Theory
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
David C. Parkes
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
CSCW
2010
ACM
16 years 3 months ago
"on my way": deceptive texting and interpersonal awareness narratives
Managing one’s availability for interaction with others is an increasingly complex act, involving multiple media and the sharing of many types of information. In this paper we d...
Jeremy P. Birnholtz, Jamie Guillory, Jeffrey T. Ha...
CSCW
2010
ACM
16 years 3 months ago
Determinants of wikipedia quality: the roles of global and local contribution inequality
The success of Wikipedia and the relative high quality of its articles seem to contradict conventional wisdom. Recent studies have begun shedding light on the processes contributi...
Ofer Arazy, Oded Nov
CSCW
2010
ACM
16 years 3 months ago
Warrants and deception in computer mediated communication
This article explores the operation of warrants, connections between online and real-world identities, on deceptive behavior in computer-mediated communication. A survey of 132 pa...
Darcy Warkentin, Michael Woodworth, Jeffrey T. Han...