3619 search results - page 316 / 724 » Humor modeling in the interface |
180
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
162
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
This work discusses the effectiveness of desktop virtual reality as a metaphor for navigating through information in structured Web sites. The work is based on a model for informa...
160
click to vote
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
207
click to vote
INTERACT
2007
15 years 8 months ago
2007
During the early stages of architectural training, tangibility plays an important role in developing spatial awareness. In such contexts, tangible user interfaces are believed to p...
169
click to vote
ACL
1996
15 years 8 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...