Sciweavers

6599 search results - page 173 / 1320
» Towards a Theory of Information
Sort
View
ER
2007
Springer
117views Database» more  ER 2007»
16 years 18 days ago
Semantic Interoperability via Category Theory
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
Isabel Cafezeiro, Edward Hermann Haeusler
AICOM
2010
129views more  AICOM 2010»
15 years 6 months ago
Automated theorem proving in quasigroup and loop theory
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
J. D. Phillips, David Stanovský
CHI
2003
ACM
16 years 6 months ago
Post-cognitivist HCI: second-wave theories
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...
WWW
2011
ACM
15 years 1 months ago
Towards automatic quality assurance in Wikipedia
Featured articles in Wikipedia stand for high information quality, and it has been found interesting to researchers to analyze whether and how they can be distinguished from “or...
Maik Anderka, Benno Stein, Nedim Lipka
ACS
2007
15 years 6 months ago
Algebra and Geometry of Rewriting
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
Yves Lafont