2340 search results - page 328 / 468 » Data abstraction and information hiding |
178
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: On mobile devices, navigating in high-resolution and high-density 2D information spaces, such as geographic maps, is a common and important task. In order to support this...
161
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
One of the most interesting issues in the field of cultural heritage is the adoption of multimedia systems for the visualization and organization of information. In this paper we ...
152
click to vote
AIR
2006
15 years 6 months ago
2006
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
156
click to vote
JAR
2008
15 years 6 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...