Sciweavers

3713 search results - page 79 / 743
» Quantum Information Theory
Sort
View
FCT
2005
Springer
14 years 1 months ago
On the Black-Box Complexity of Sperner's Lemma
We present several results on the complexity of various forms of Sperner’s Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over ...
Katalin Friedl, Gábor Ivanyos, Miklos Santh...
SIGIR
2003
ACM
14 years 28 days ago
Fractal summarization: summarization based on fractal theory
In this paper, we introduce the fractal summarization model based on the fractal theory. In fractal summarization, the important information is captured from the source text by ex...
Christopher C. Yang, Fu Lee Wang
MKM
2007
Springer
14 years 1 months ago
Towards Constructive Homological Algebra in Type Theory
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
Thierry Coquand, Arnaud Spiwack
ECIS
2004
13 years 9 months ago
Change management: the contribution of personal construct theory (PCT)
This paper explores the use of two complementary approaches, each stemming from Personal Construct Theory (PCT), to investigate the interdependence of organizations and informatio...
Laurence Brooks, Christopher J. Davis, Mark Lycett
CHI
2009
ACM
14 years 8 months ago
An elementary social information foraging model
User interfaces and information systems have become increasingly social in recent years, aimed at supporting the decentralized, cooperative production and use of content. A theory...
Peter Pirolli