2929 search results - page 454 / 586 » Rich Interaction: Issues |
173
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The effectiveness of virtual environments (VEs) has often been linked to the sense of presence reported by users of those VEs. (Presence is defined as the subjective experience of...
155
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Weblogs (or blogs) are frequently updated webpages with posts typically in reverse-chronological order. Blogging is the latest form of online communication to gain widespread popu...
192
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
162
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
138
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
The orchestration process consists of managing classroom interactions at multiple levels: individual activities, teamwork and class-wide sessions. We study the process of orchestra...