7978 search results - page 21 / 1596 » Representation before computation |
ENTCS
2007
13 years 7 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
COMPGEOM
1995
ACM
13 years 11 months ago
1995
ACM
We outline an algorithm and implementation of a system that computes Boolean combinations of sculptured solids. We represent the surface of the solids in terms of trimmed and untr...
IJCINI
2007
13 years 7 months ago
2007
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
CVIU
2004
13 years 7 months ago
2004
The aim of this paper is to outline a perceptual approach to a computational colour
ICCS
2004
Springer
14 years 26 days ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...