1284 search results - page 41 / 257 » On Helping and Interactive Proof Systems |
KDD
2012
ACM
11 years 11 months ago
2012
ACM
We present TOURVIZ, a system that helps its users to interactively visualize and make sense in large network datasets. In particular, it takes as input a set of nodes the user spe...
WSCG
2001
13 years 10 months ago
2001
- In order to help the user to accomplish a task, teleoperation systems have to integrate different tools such as visualization, divers interaction devices, planning tools, etc......
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
UIST
2003
ACM
14 years 2 months ago
2003
ACM
Although graphical user interfaces started as imitations of the physical world, many interaction techniques have since been invented that are not available in the real world. This...
ICEIS
2008
IEEE
14 years 3 months ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...