4460 search results - page 392 / 892 » Formal methods for interactive systems |
209
click to vote
MMM
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...
194
click to vote
JLP
2007
15 years 6 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
153
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
To supplement existing forms of communication such as telephone and e-mail, this research proposes a new method of communicating “awareness” between people who are separated b...
199
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
148
click to vote
ISWC
2006
IEEE
16 years 24 days ago
2006
IEEE
We report on the results of a user study to investigate the utility of passive haptics for eyes-free numeric entry. This work targets cursorless user interfaces designed for use w...