1733 search results - page 322 / 347 » There is more to context than location |
CHI
2008
ACM
16 years 6 days ago
2008
ACM
Even though "providing insight" has been considered one of the main purposes of information visualization (InfoVis), we feel that insight is still a not-well-understood ...
CHI
2008
ACM
16 years 6 days ago
2008
ACM
Displaying scanned book pages in a web browser is difficult, due to an array of characteristics of the common user's configuration that compound to yield text that is degrade...
CHI
2001
ACM
16 years 5 days ago
2001
ACM
In human-to-human interaction, people sometimes are able to pick up and respond sensitively to the other's internal state as it shifts moment by moment over the course of an ...
183
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
101
click to vote
CADE
2007
Springer
16 years 3 days ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...