Sciweavers

278 search results - page 26 / 56
» Sharing Corpora and Tools to Improve Interaction Analysis
Sort
View
GIS
2000
ACM
13 years 8 months ago
Actor-networks and implementation: examples from conservation GIS in Ecuador
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...
Eugene W. Martin
CHI
2003
ACM
14 years 9 months ago
Take it to the next stage: the roles of role playing in the design process
Using role play at every stage of the design process has been a vital tool for IDEO in working with clients and users. With the dual properties of bringing participants into the m...
Kristian T. Simsarian
CHI
2006
ACM
14 years 9 months ago
The springboard: multiple modes in one spring-loaded control
Modes allow a few inputs to invoke many operations, yet if a user misclassifies or forgets the state of a system, modes can result in errors. Spring-loaded modes (quasimodes) main...
Edward Cutrell, François Guimbretièr...
CIKM
2007
Springer
14 years 3 months ago
A dual-view approach to interactive network visualization
Visualizing network data, from tree structures to arbitrarily connected graphs, is a difficult problem in information visualization. A large part of the problem is that in network...
Galileo Namata, Brian Staats, Lise Getoor, Ben Shn...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
14 years 29 days ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...