8669 search results - page 83 / 1734 » Computing matrix representations |
CCA
2005
Springer
14 years 2 months ago
2005
Springer
Book
"What does it mean, to see? The plain man's answer (and Aristotle's, too) would be, to know what is where by looking. In other words, vision is the process of discov...
ENTCS
2007
13 years 9 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
14 years 18 days 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 9 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...