1284 search results - page 171 / 257 » On Helping and Interactive Proof Systems |
WOMPAT
2004
Springer
14 years 3 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
IUI
2003
ACM
14 years 3 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
INFOVIS
2000
IEEE
14 years 2 months ago
2000
IEEE
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...
CSCW
2000
ACM
14 years 2 months ago
2000
ACM
Collaborations over distance must contend with the loss of the rich, subtle interactions that co-located teams use to coordinate their work. Previous research has suggested that o...
SIGIR
2002
ACM
13 years 9 months ago
2002
ACM
Previews and overviews of large, heterogeneous information resources help users comprehend the scope of collections and focus on particular subsets of interest. For narrative docu...