Sciweavers

4242 search results - page 173 / 849
» For a science of group interaction
Sort
View
TLCA
2005
Springer
15 years 12 months ago
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
François-Régis Sinot
ACSC
2006
IEEE
16 years 17 days ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
DIS
2006
Springer
15 years 10 months ago
Prediction of Domain-Domain Interactions Using Inductive Logic Programming from Multiple Genome Databases
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
Thanh Phuong Nguyen, Tu Bao Ho
CSCW
2002
ACM
15 years 6 months ago
3-D live: real time interaction for mixed reality
We describe a real-time 3-D augmented reality videoconferencing system. With this technology, an observer sees the real world from his viewpoint, but modified so that the image of...
Simon Prince, Adrian David Cheok, Farzam Farbiz, T...
CHI
2010
ACM
16 years 1 months ago
Interactive effects of age and interface differences on search strategies and performance
We present results from an experiment that studied the information search behavior of younger and older adults in a medical decision-making task. To study how different combinatio...
Jessie Chin, Wai-Tat Fu