Sciweavers

473 search results - page 55 / 95
» Interrogative theory of information and knowledge
Sort
View
ELECTRONICMARKETS
2010
124views more  ELECTRONICMARKETS 2010»
14 years 11 months ago
The difficulty of studying inter-organisational IS phenomena on large scales: critical reflections on a research journey
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
Kai Reimers, Robert B. Johnston, Stefan Klein
ATAL
2011
Springer
14 years 1 months ago
Incentive design for adaptive agents
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
Yiling Chen, Jerry Kung, David C. Parkes, Ariel D....
PODS
2008
ACM
174views Database» more  PODS 2008»
16 years 2 months ago
Epistemic privacy
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
Alexandre V. Evfimievski, Ronald Fagin, David P. W...
POPL
2012
ACM
13 years 9 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao
CASCON
2007
105views Education» more  CASCON 2007»
15 years 3 months ago
Discovering the shared understanding dynamics of large software teams
 Reaching project goals demands from team members the creation and communication of detailed and vastly heterogeneous project information. Although no team member needs to know ...
Jorge Aranda, Ramzan Khuwaja, Steve M. Easterbrook