4622 search results - page 126 / 925 » Foundations of Information Theory |
MST
2007
14 years 9 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
JASIS
2000
14 years 10 months ago
2000
: This article examines information theory from the aspect of its "conduit metaphor." A historical approach and a close reading of certain texts by Warren Weaver and Nor...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
GROUP
2007
ACM
15 years 1 months ago
2007
ACM
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...