3047 search results - page 556 / 610 » On the Meaning of Logical Completeness |
125
click to vote
GW
1999
Springer
15 years 5 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...
124
Voted
HPCA
1998
IEEE
15 years 5 months ago
1998
IEEE
The frequency of accesses to remote data is a key factor affecting the performance of all Distributed Shared Memory (DSM) systems. Remote data caching is one of the most effective...
115
Voted
ITICSE
1997
ACM
15 years 5 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
136
click to vote
TLCA
1997
Springer
15 years 5 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
121
Voted
SIGGRAPH
1994
ACM
15 years 4 months ago
1994
ACM
Range imaging offers an inexpensive and accurate means for digitizing the shape of three-dimensional objects. Because most objects self occlude, no single range image suffices to ...