3481 search results - page 605 / 697 » Exploration in Relational Worlds |
167
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
153
click to vote
CICLING
2001
Springer
15 years 10 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
182
Voted
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
250
click to vote
COBUILD
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses our implementation and experience with a camera-based whiteboard scanner. The ZombieBoard system (so called because it brings to electronic life the marks on a...
183
click to vote
GW
1999
Springer
15 years 10 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...