2436 search results - page 156 / 488 » Comonadic Notions of Computation |
143
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
This paper is a critical analysis of the concept of ontology thus as it is used in computing science. It identifies three main problems with such a concept, two of which are intri...
138
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
119
click to vote
AGI
2008
15 years 5 months ago
2008
. We consider the Distributed Cognition paradigm as a framework for implementing artificial components of human cognition. We take email/internet search as a setting of distributed...
102
click to vote
CGVR
2006
15 years 5 months ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
111
click to vote
SIAMDM
2008
15 years 4 months ago
2008
From computational geometry comes the notion of a Gabriel graph of a point set in the plane. The Gabriel graph consists of those edges connecting two points of the point set such t...