1715 search results - page 298 / 343 » How Space Structures Language |
119
click to vote
MICS
2010
15 years 22 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
140
click to vote
GW
1999
Springer
15 years 6 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...
135
click to vote
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
The most expensive geometric operation in image synthesis is visibility determination. Classically this is solved with hidden surface removal algorithms that render only the parts...
113
Voted
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
118
click to vote
JASIS
2000
15 years 2 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...