2833 search results - page 232 / 567 » Visualization for information exploration and analysis |
112
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 ...
133
click to vote
RT
1997
Springer
15 years 8 months ago
1997
Springer
Recently the light-field and lumigraph systems have been proposed as general methods of representing the visual information present in a scene. These methods represent this infor...
123
click to vote
IJON
2006
15 years 4 months ago
2006
This work presents a neural model of self-localisation implemented on a simulated mobile robot with a realistic visual input. A population of modelled place cells with overlapping...
137
click to vote
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
122
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this paper I show a variety of ways to represent and think about statistical aspects of CHI and its sister conferences. In particular, I look at author counts, gender analysis,...