3155 search results - page 210 / 631 » How Are You Doing |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In the context of an information search task, does the visual salience of items interact with information scent? That is, do things like bold headlines or highlighted phrases inte...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
AIED
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. While high interactivity has been one of the main characteristics of oneon-one human tutoring, a great deal of controversy surrounds the issue of whether interactivity is...