2944 search results - page 427 / 589 » On Well Quasi-orders on Languages |
168
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
143
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
156
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
143
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...
180
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This study examines the interaction effect between user factors and media factors on feelings of social presence which are critical in the design of virtual reality systems and hu...