9310 search results - page 125 / 1862 » User interface continuations |
106
click to vote
DSVIS
2005
Springer
15 years 7 months 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...
125
click to vote
ICWE
2004
Springer
15 years 7 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...
118
Voted
HT
2010
ACM
15 years 6 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...
109
click to vote
ISMAR
2002
IEEE
15 years 6 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...
LREC
2008
15 years 3 months ago
2008
We describe a web-based corpus query system, Glossa, which combines the expressiveness of regular query languages with the user-friendliness of a graphical interface. Since corpus...