9015 search results - page 1608 / 1803 » Using Structural Computing to Support Information Integratio... |
204
click to vote
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
As the basic sciences become increasingly information-intensive, the management and use of research data presents new challenges in the collective activities that constitute schola...
179
click to vote
ENTCS
2000
15 years 6 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
201
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
183
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Haptic technologies are thought to have the potential to help blind individuals overcome the challenges experienced when accessing the Web. This paper proposes a structured partic...
162
click to vote
GD
1995
Springer
15 years 10 months ago
1995
Springer
It is a di cult problem to display large, complex graphs in a manner which furthers comprehension. A useful approach is to expand selected sections foci of the graph revealing de...