3025 search results - page 98 / 605 » Interaction in the large |
143
click to vote
BCSHCI
2007
15 years 7 months ago
2007
The major goal of this workshop is to explore how interactive systems can support human memory, using novel technologies and innovative human/machine interaction paradigms, such a...
159
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
179
click to vote
EJIS
2008
15 years 6 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
144
click to vote
CBMS
2003
IEEE
15 years 11 months ago
2003
IEEE
An interactive tool for the segmentation, visualization and navigation of magnetic resonance (MR) images is presented. Previous work has shown the hierarchical self-organizing map...
176
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...