2970 search results - page 304 / 594 » A Model for the Visualization Exploration Process |
132
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
114
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
122
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
On a moving vehicle, speedy motion extraction from video is demanded. Different from the traditional motion estimation methods that track or match 2D features in consecutive motio...
132
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
123
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...