Sciweavers

4806 search results - page 621 / 962
» Interactive uncertainty analysis
Sort
View
CHI
2009
ACM
16 years 7 months ago
Exploring video streams using slit-tear visualizations
Slit-tear visualizations allow users to selectively visualize pixel paths in a video scene. The slit-tear visualization technique is a generalization of the traditional photograph...
Anthony Tang, Saul Greenberg, Sidney Fels
POPL
2004
ACM
16 years 7 months ago
Atomizer: a dynamic atomicity checker for multithreaded programs
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
Cormac Flanagan, Stephen N. Freund
FM
2009
Springer
138views Formal Methods» more  FM 2009»
16 years 1 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
IV
2007
IEEE
152views Visualization» more  IV 2007»
16 years 1 months ago
Geovisualization and synergies from InfoVis and Visual Analytics
Geovisualization (GeoViz) is an intrinsically complex process. The analyst needs to look at data from various perspectives and at various scales, from “seeing the whole” to ...
Gennady L. Andrienko, Mikael Jern, Jason Dykes, Sa...
CSCW
2004
ACM
16 years 6 days ago
Assembling the senses: towards the design of cooperative interfaces for visually impaired users
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
Fredrik Winberg, John Bowers