12118 search results - page 232 / 2424 » User interface tools |
163
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
177
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Despite recent advances in wireless and portable hardware technologies, mobile access to the Web is often laborious. For this reason, several solutions have been proposed to custom...
172
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
168
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
We conducted two experiments comparing users’ communication behaviors of co-located users in collaborative augmented reality (AR) interfaces. In the first experiment, we compare...
166
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
We describe the design, implementation, and pilot study for SenseMaker, an interface for information exploration across heterogeneous sources. We propose supporting the contextdri...