4320 search results - page 117 / 864 » Functional Objects |
163
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes preliminary results of research on the perception and usability of interfaces projected onto realworld objects. Using a projector setup that enables us to com...
152
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
163
click to vote
VLC
2002
15 years 6 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
160
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
181
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...